Issue 3/2013
Content (3 Articles)
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