Ausgabe 3/2013
Inhalt (3 Artikel)
Original Article
Avoiding cross-bifix-free binary words
Stefano Bilotta, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani
Original Article
Conjunctive grammars and alternating pushdown automata
Tamar Aizikowitz, Michael Kaminski
Original Article
Verifying a simplification of mutual exclusion by Lycklama–Hadzilacos
Wim H. Hesselink