Results: 3
Formal properties of XML grammars and languages.
- Published in:
- Acta Informatica, 2002, v. 38, n. 9, p. 649, doi. 10.1007/s00236-002-0085-4
- By:
- Publication type:
- Article
Bases for closed sets of implicants and implicates in temporal logic.
- Published in:
- Acta Informatica, 2002, v. 38, n. 9, p. 599, doi. 10.1007/s00236-002-0087-2
- By:
- Publication type:
- Article
Adding a path connectedness operator to FO+poly (linear).
- Published in:
- Acta Informatica, 2002, v. 38, n. 9, p. 621, doi. 10.1007/s00236-002-0088-1
- By:
- Publication type:
- Article