Mathematical Logic and Formal Languages

Formal Languages and Compilation

2009 · ENGLISH · PDF

View details →

An Introduction to the Technique of Formative Processes in Set Theory

2018 · ENGLISH · PDF

View details →

Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2018 · ENGLISH · PDF

View details →

Präzises Denken für Informatiker

2017 · GERMAN · PDF

View details →

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2018 · ENGLISH · PDF

View details →

Type Systems for Distributed Programs: Components and Sessions

2016 · ENGLISH · PDF

View details →

Formal Languages and Compilation

2009 · ENGLISH · PDF

View details →

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2016 · ENGLISH · PDF

View details →

Automata

1976 · ENGLISH · PDF

View details →

A Practical Introduction to Pascal

1978 · ENGLISH · PDF

View details →

Formal Languages and Compilation

2013 · ENGLISH · PDF

View details →

Context-free grammars: Covers, normal forms, and parsing

1980 · ENGLISH · PDF

View details →

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

1995 · ENGLISH · PDF

View details →

Temporal Verification of Reactive Systems: Safety

1995 · ENGLISH · PDF

View details →

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

1994 · ENGLISH · PDF

View details →

Larch: Languages and Tools for Formal Specification

1993 · ENGLISH · PDF

View details →

An Introduction to Formal Language Theory

1988 · ENGLISH · PDF

View details →

Confluent String Rewriting

1988 · ENGLISH · PDF

View details →

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings

1988 · ENGLISH · PDF

View details →

Semirings, Automata, Languages

1986 · ENGLISH · PDF

View details →

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

1980 · ENGLISH · PDF

View details →

Grammar and L forms: An introduction

1980 · ENGLISH · PDF

View details →

Using Sophisticated Models in Resolution Theorem Proving

1980 · ENGLISH · PDF

View details →

Formal languages and compilation

2009 · ENGLISH · PDF

View details →