Volume 50, Issue 3 | Acta Informatica

Search all Acta Informatica articles

Volume 50, Issue 3

May 2013

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Avoiding cross-bifix-free binary words
Stefano Bilotta
Elisabetta Grazzini
Renzo Pinzani
Original Article 25 January 2013 Pages: 157 - 173
Conjunctive grammars and alternating pushdown automata
Tamar Aizikowitz
Michael Kaminski
Original Article 26 March 2013 Pages: 175 - 197
Verifying a simplification of mutual exclusion by Lycklama–Hadzilacos
Wim H. Hesselink
Original Article 10 March 2013 Pages: 199 - 228