Found: 3
Select item for more details and to access through your institution.
Some results on complexity of μ-calculus evaluation in the black-box model.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2013, v. 47, n. 1, p. 97, doi. 10.1051/ita/2012030
- By:
- Publication type:
- Article
Reasoning about integrity constraints for tree-structured data.
- Published in:
- Theory of Computing Systems, 2018, v. 62, n. 4, p. 941, doi. 10.1007/s00224-017-9771-z
- By:
- Publication type:
- Article
A RECURSIVE APPROACH TO SOLVING PARITY GAMES IN QUASIPOLYNOMIAL TIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:8)2022
- By:
- Publication type:
- Article