|
QA267.3 .I34 2008eb
|
Graph transformations 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings / |
1 |
|
QA267.3 .I55 2000
|
Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / |
2 |
|
QA267.3 .I55 2004
|
Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings / |
1 |
|
QA267.3 .I55 2006
|
Grammatical inference algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings / |
1 |
|
QA267.3 .I55 2006eb
|
Grammatical inference algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings / |
1 |
|
QA267.3 .I55 2008
|
Grammatical inference: algorithms and applications 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; proceedings / |
1 |
|
QA267.3 .I587 2008
|
Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 / |
1 |
|
QA267.3 .I88 2004
|
Algebraic theory of automata and languages / |
1 |
|
QA267.3 .I88 2004eb
|
Algebraic theory of automata and languages / |
1 |
|
QA267.3 .J96
|
Checking Landau's "Grundlagen" in the AUTOMATH system / |
1 |
|
QA267.3 K546 2017
|
Formale Sprachen : Mit Anwendungen auf die Beschreibung natürlicher Sprachen / |
1 |
|
QA267.3 .K757 2009
|
Introduction to formal languages, automata theory and computation / |
1 |
|
QA267.3 .L36 2012
|
Languages alive essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / |
1 |
|
QA267.3 .L37 2009
|
Language and automata theory and applications third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings / |
1 |
|
QA267.3 .L37 2010
|
Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / |
1 |
|
QA267.3 .L48 2008eb
|
An introduction to the theory of formal languages and automata / |
1 |
|
QA267.3 .L56 2012eb
|
An introduction to formal languages and automata, fifth edition / |
1 |
|
QA267.3 .M43 2015
|
Formal Languages and Computation : Models and Their Applications / |
1 |
|
QA267.3 .M438 2014
|
Formal languages and computation : models and their applications / |
1 |
|
QA267.3 .M63 1995
|
Modal logic and process algebra : a bisimulation perspective / |
1 |
