MPG.eBooks - Search Results - formal languages and automata theory

1

Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Table of Contents: “...Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun...”

Read Now

2

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty...”

Read Now

3

Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “...A Grammatical Representation of Visibly Pushdown Languages -- Fully Lexicalized Pregroup Grammars...”

Read Now

4

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Table of Contents: “...Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract...”

Read Now

5

Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Published 2019

Springer Berlin Heidelberg

Table of Contents: “...Formal Logic. Computing. Programming Theory -- Natural Language -- Reasoning...”

Read Now

6

Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory...”

Read Now

7

Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...: From Convergent Grammar to Abstract Categorial Grammar -- Observational Effort and Formally Open...”

Read Now

8

Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Published 2016

Springer Berlin Heidelberg

Table of Contents: “...Formal logic -- Computing. -Programming theory -- Natural language and reasoning...”

Read Now

9

Logic, Language, Information, and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Published 2011

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

10

Logic, Language, Information, and Computation

Published 2012

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

11

Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Published 2018

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Narrow Search