19361
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19362
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19363
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19364
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19365
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19366
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19367
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19368
Published 2005
Springer Berlin Heidelberg
Table of Contents: '; ... -- Verification of Language Based Fault-Tolerance -- Applying Stacking and Corpus Transformation to a Chunking...

19369
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19370
Published 2005
Springer Berlin Heidelberg
Table of Contents: '; ... and Formal Languages -- Leftist Grammars and the Chomsky Hierarchy -- Shrinking Multi-pushdown Automata...

19371
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19372
Published 2005
Springer Berlin Heidelberg
Table of Contents: '; ... Indexical and Metonymy as Language Reduction -- Granularity as a Parameter of Context -- Identifying...

19373
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19374
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19375
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Programming Languages, Compilers, Interpreters...

19376
Published 2005
Springer Berlin Heidelberg
Table of Contents: '; ...The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language...

19377
Published 2005
Springer Berlin Heidelberg
Table of Contents: '; ... Comparison -- A Typed Assembly Language for Non-interference -- Improved Exact Exponential Algorithms...

19378
Published 2005
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19379
Published 2006
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...

19380
by Bella, Giampaolo
Published 2007
Springer Berlin Heidelberg
Subjects: '; ...Mathematical Logic and Formal Languages...