Works matching IS 00015903 AND DT 2013 AND VI 50 AND IP 3
Results: 3
Conjunctive grammars and alternating pushdown automata.
- Published in:
- Acta Informatica, 2013, v. 50, n. 3, p. 175, doi. 10.1007/s00236-013-0177-3
- By:
- Publication type:
- Article
Avoiding cross-bifix-free binary words.
- Published in:
- Acta Informatica, 2013, v. 50, n. 3, p. 157, doi. 10.1007/s00236-013-0176-4
- By:
- Publication type:
- Article
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos.
- Published in:
- Acta Informatica, 2013, v. 50, n. 3, p. 199, doi. 10.1007/s00236-013-0178-2
- By:
- Publication type:
- Article