Found: 4
Select item for more details and to access through your institution.
Causality in Bounded Petri Nets is MSO Definable.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269
- By:
- Publication type:
- Article
Second-Order Finite Automata.
- Published in:
- Theory of Computing Systems, 2022, v. 66, n. 4, p. 861, doi. 10.1007/s00224-022-10085-w
- By:
- Publication type:
- Article
Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function.
- Published in:
- Theory of Computing Systems, 2018, v. 62, n. 1, p. 136, doi. 10.1007/s00224-017-9814-5
- By:
- Publication type:
- Article
ON SUPERGRAPHS SATISFYING CMSO PROPERTIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:14)2021
- By:
- Publication type:
- Article