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
Works matching IS 00015903 AND DT 2002 AND VI 38 AND IP 9
Results: 3
1
2
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
3
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