New Developments in Formal Languages and Applications - Bel-Enguix, Gemma; Jimenez-Lopez, M. Dolores; Martin-Vide, Carlos; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Formal languages; Engineering; Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics); Language Translation and Linguistics; Mathematical Logic and Foundations