TY - GEN
AU - Beklemishev, Lev D.
AU - Queiroz, Ruy
TI - Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783642209208
KW - Computer software
KW - Logic design
KW - Computational complexity
KW - Algebra Data processing
KW - Computer science
KW - Computer Science
KW - Algorithms.
KW - Machine theory.
KW - Discrete mathematics.
KW - Paperback / softback
KW - Research
KW - completeness
KW - decidability
KW - modal logic
KW - monadic logic
KW - satisfiability
KW - Konferenzschrift 2010 Brasília
KW - Programmierlogik
KW - Natürliche Sprache
KW - Formale Syntax
KW - Formale Grammatik
KW - Formale Methode
KW - Berechnungstheorie
KW - Logik
PY - 2011
BT - Lecture Notes in Computer Science ; 6642
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation