Works matching IS 00015903 AND DT 2023 AND VI 60 AND IP 1
Results: 4
Alternating complexity of counting first-order logic for the subword order.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 79, doi. 10.1007/s00236-022-00424-2
- By:
- Publication type:
- Article
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 59, doi. 10.1007/s00236-022-00422-4
- By:
- Publication type:
- Article
Reactive bisimulation semantics for a process algebra with timeouts.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 11, doi. 10.1007/s00236-022-00417-1
- By:
- Publication type:
- Article
Minimum status of trees with a given degree sequence.
- Published in:
- Acta Informatica, 2023, v. 60, n. 1, p. 1, doi. 10.1007/s00236-022-00416-2
- By:
- Publication type:
- Article