11 Ergebnisse für: decidability
-
Countable Boolean Algebras and Decidability - Sergey Goncharov - Google Books
https://books.google.de/books?id=BwroiP0IJcYC&pg=PA39#v=onepage
This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka,…
-
Modal Logic: An Introduction - Brian F. Chellas - Google Books
http://books.google.de/books?id=YupiXWV5j6cC&pg=PA12
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of…
-
Grammatical Picture Generation
http://theo.cs.uni-magdeburg.de/lehre06w/picgen/
Keine Beschreibung vorhanden.
-
Theory of Formal Languages with Applications - Dan A. Simovici, Richard L. Tenney - Google Books
http://books.google.de/books?id=u14l14TcwJIC&pg=PA547&dq=%22context-sensitive+grammar%22&hl=de#v=onepage&q=%22context-sensitive%
Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc.This book combines…
-
Theory of Formal Languages with Applications - Dan A. Simovici, Richard L. Tenney - Google Books
http://books.google.de/books?id=u14l14TcwJIC&pg=PA158&dq=%22regular+expressions%22+formal+theoretic&hl=de#v=onepage&q=%22regular
Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as data transmission and compression, computer networks, etc.This book combines…
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …
-
Automata.co.de - Ihr Automata Shop
http://www.automata.co.de
Automata (BLU-RAY), Cellular Automata als Buch von, Nier: Automata (PlayStation 4), Automata, Languages, and Programming als Buch von, Implementation and Application of Automata als Buch von,
-
Home-Page of Martin Otto
http://www.mathematik.tu-darmstadt.de/~otto/index.html
Keine Beschreibung vorhanden.
-
Heinrich Herre's Homepage
http://www.informatik.uni-leipzig.de/fk/pers/herre.html
Keine Beschreibung vorhanden.
-