Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Formal Languages And Automata Theory"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"160 - Logic"
language:"English"
Search alternatives
:
languages »
language
automata »
automated
,
automatic
Showing
1
-
20
of
22
Search:
'"Formal Languages And Automata Theory"'
,
query time: 0.62s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Leo Esakia on Duality in Modal and Intuitionistic Logics
Published 2014
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
2
Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice
by
Clerbout, Nicolas
,
Rahman, Shahid
Published 2015
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
3
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
by
Cellucci, Carlo
Published 2013
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
4
Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
Published 2014
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
5
Freedom and Enforcement in Action : A Study in Formal Action Theory
by
Czelakowski, Janusz
Published 2015
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
6
Heyting Algebras : Duality Theory
by
Esakia, Leo
Published 2019
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
7
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
by
Tranchini, Luca
Published 2024
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
8
Advances in Proof-Theoretic Semantics
Published 2016
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
9
Hybrid Logic and its Proof-Theory
by
Braüner, Torben
Published 2011
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
10
Truth and Falsehood : An Inquiry into Generalized Logical Values
by
Shramko, Yaroslav
,
Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
11
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
by
Geldsetzer, Lutz
,
Schwartz, Richard L.
Published 2013
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
12
The Argument of Mathematics
Published 2013
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
13
Metainferential Logics
by
Pailos, Federico
,
Da Ré, Bruno
Published 2023
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
14
Dynamic Epistemic Logic
by
van Ditmarsch, Hans
,
van der Hoek, Wiebe
,
Kooi, Barteld
Published 2008
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
15
Proof, Computation and Agency : Logic at the Crossroads
Published 2011
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
16
Paraconsistency: Logic and Applications
Published 2013
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
17
David Makinson on Classical Methods for Non-Classical Problems
Published 2014
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
18
Modalities and Multimodalities
by
Carnielli, Walter
,
Pizzi, Claudio
Published 2008
Springer Netherlands
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
19
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
20
Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
160 - Logic
Language
English
Collection
Springer eBooks 2005-
22
Author
Bezhanishvili, Guram
2
Aberdein, Andrew
1
Berto, Francesco
1
Braüner, Torben
1
Carnielli, Walter
1
Cate, Balder D. ten
1
more ...
Cellucci, Carlo
1
Clerbout, Nicolas
1
Czelakowski, Janusz
1
Da Ré, Bruno
1
Dove, Ian J.
1
Esakia, Leo
1
Geldsetzer, Lutz
1
Gupta, Amitabha
1
Haeusler, Edward
1
Hansson, Sven Ove
1
Hodges, Wilfrid
1
Holliday, Wesley H.
1
Indrzejczak, Andrzej
1
Kooi, Barteld
1
Majer, Ondrej
1
Mares, Edwin
1
Pailos, Federico
1
Paoli, Francesco
1
Parikh, Rohit
1
Pereira, Luiz Carlos
1
Piecha, Thomas
1
Pietarinen, Ahti-Veikko
1
Pizzi, Claudio
1
Rahman, Shahid
1
Schroeder-Heister, Peter
1
Schwartz, Richard L.
1
Shramko, Yaroslav
1
Tanaka, Koji
1
Tranchini, Luca
1
Tulenheimo, Tero
1
Wansing, Heinrich
1
Zeevat, Henk W.
1
de Paiva, Valeria
1
de Queiroz, Ruy
1
van Benthem, Johan
1
van Ditmarsch, Hans
1
van der Hoek, Wiebe
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22160+-+Logic%22&filter%5B%5D=language%3A%22English%22&lookfor=%22Formal+Languages+And+Automata+Theory%22&type=Subject
Send by Email
×
Loading...