LFCS 2009:
Deerfield Beach, FL, USASergei N. Artëmov , Anil Nerode (Eds.):
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings.
Lecture Notes in Computer Science 5407 Springer 2009, ISBN 978-3-540-92686-3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Nicolas Bedon :
Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings.
61-75
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/lfcs/BucciarelliEM09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yury Savateev :
Product-Free Lambek Calculus Is NP-Complete.
380-394
export record as
dblp key:
Anil Seth :
Games on Multi-stack Pushdown Systems.
395-408
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
James Worthington :
A Bialgebraic Approach to Automata and Formal Language Theory.
451-467
data released under the ODC-BY 1.0 license
