2024

Programming-based formal languages and automata theory : design, implement, validate, and prove

Morazán, Marco T., author.

Cham : Springer, [2024]

 

2023

Automata theory and formal languages

Chavan, Pallavi

London ; San Diego, CA : Academic Press, an imprint of Elsevier, [2023]

 

2022

Automata theory and formal languages : fundamental notions, theorems, and techniques

Pettorossi, A. (Alberto), 1947- author.

Cham : Springer, [2022]

 

2019

Formal languages and compilation

Crespi-Reghizzi, Stefano, author.
Third edition
Cham, Switzerland : Springer, 2019

 

2015

Formal languages and automata theory

Sunitha, K. V. N., author

Chennai : Pearson, [2015]

 

2014

Formal languages, automata and numeration systems.

Rigo, Michel, author.

London : ISTE Ltd ; Hoboken, NJ : John Wiley & Sons, Inc., 2014

 

2014

Formal languages, automata and numeration systems.

Rigo, Michel.

London : Wiley, 2014

 

2014

Formal Languages and Computation : Models and Their Applications

Meduna, Alexander



 

2013

Introduction to automata theory, formal languages and computation

Kandar, Shyamalendu



 

2013

Formal languages and compilation

Crespi-Reghizzi, Stefano, author.
Second edition
London : Springer, 2013

 

2012

Automata theory and formal languages

Kandar, Shyamalendu



 

2012

Formal languages in logic : a philosophical and cognitive analysis

Novaes, Catarina Dutilh.



 

2011

Bio-inspired models for natural and formal languages

 

2010

Automata, Formal Languages and Algebraic Systems : Proceedings of AFLAS 2008

Ito, Masami



 

2010

Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008

 

2009

Introduction to formal languages, automata theory and computation

Krithivasan, Kamala.



 

2009

Formal languages and compilation

Crespi-Reghizzi, Stefano.



 

2009

A course in formal languages, automata and groups

Chiswell, Ian, 1948-



 

2008

An introduction to the theory of formal languages and automata

Levelt, W. J. M. (Willem J. M.), 1938-



 

2008

New developments in formal languages and applications

 

2007

Proceedings of the International Conference Semigroups and Formal Languages : in honor of the 65th birthday of Donald B. McAlister, Centro de Álgebra da Universidade de Lisboa (CAUL), Portugal 12-15 J

International Conference on Semigroups and Formal Languages (2005 : Lisbon, Portugal)



 

2007

Semigroups and formal languages : proceedings of the International Conference, in honor of the 65th birthday of Donald B. McAlister, Centro de Álgebra da Universidade de Lisboa (CAUL), Portugal 12-15

International Conference on Semigroups and Formal Languages (2005 : Lisbon, Portugal)



 

2006

Recent advances in formal languages and applications

 

2005

Theory of automata, formal languages and computation

Xavier, Eugene, S. P



 

1997

Handbook of formal languages.

 

1975

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975

Fachtagung über Automatentheorie und Formale Sprachen (2nd : 1975 : Kaiserslautern, Germany)



 

1974

Simple program schemes and formal languages

Engelfriet, Joost.



 

2020

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

 

2024

Portrait of young Gödel : education, first steps in logic, the problem of completeness

Von Plato, Jan, author.

Cham : Springer, 2024

 

2024

LATIN 2024: theoretical informatics : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, proceedings.

Latin American Symposium on Theoretical Informatics (16th : 2024 : Puerto Varas, Chile)

Cham : Springer, [2024]

 

2024

LATIN 2024: theoretical informatics : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, proceedings.

Latin American Symposium on Theoretical Informatics (16th : 2024 : Puerto Varas, Chile)

Cham : Springer, [2024]

 

2024

Taming the infinities of concurrency : essays dedicated to Javier Esparza on the occasion of his 60th birthday

Cham, Switzerland : Springer, [2024]

 

2023

Mathematical logic and computation

Avigad, Jeremy, author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023

 

2023

200 problems on languages, automata, and computation

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023

 

2023

Developments in language theory : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, proceedings

Conference on Developments in Language Theory (27th : 2023 : Umeå, Sweden)

Cham : Springer, [2023]

 

2023

Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

DCFS (Workshop) (25th : 2023 : Potsdam, Germany)

Cham : Springer, [2023]

 

2023

Discrete mathematics with graph theory

Yadav, Santosh Kumar, author

Cham, Switzerland : Springer, [2023]

 

2023

Formal approaches to languages of South America

Cham, Switzerland : Springer, [2023]

 

2023

Logic and algorithms in computational linguistics 2021 (LACompLing2021)

LACompLing(Symposium) : (2021 : Online)

Cham : Springer, [2023]

 

2023

Beyond Babel religion and linguistic pluralism

 

2022

Consequence relations : an introduction to the Lindenbaum-Tarski method

Citkin, Alex, author.

Oxford : Oxford University Press, [2022]

 

2022

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

IJCAR (Conference) (11th : 2022 : Haifa, Israel)

Cham, Switzerland : Springer, 2022

 

2022

Developments in language theory : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Conference on Developments in Language Theory (26th : 2022 : Tampa, Fla.)

Cham : Springer, 2022

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2022

Descriptional complexity of formal systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings

DCFS (Workshop) (24th : 2022 : Debrecen, Hungary)

Cham, Switzerland : Springer, 2022

 

2022

Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings

CIAA (Conference) (26th : 2022 : Rouen, France)

Cham, Switzerland : Springer, 2022

 

2022

LATIN 2022 -- theoretical informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, proceedings

Latin American Symposium on Theoretical Informatics (15th : 2022 : Guanajuato, Mexico)

Cham : Springer, 2022

 

2022

Computer science : theory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1, 2022 : proceedings

International Computer Science Symposium in Russia (17th : 2022 : Online)

Cham : Springer, [2022]

 

2022

Mathematical logic : exercises and solutions

Csirmaz, László, author.



 

2022

Hiroakira Ono on substructural logic

Cham : Springer, [2022]