Algebraic semantics

Szerző: Guessarian, Iréne
Megjelenés: 1981

Grammar and L forms : an introduction

Szerző: Wood, Derick (1940-)
Megjelenés: 1980

Formal description of programming concepts--II : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June...

Megjelenés: 1983

Simple program schemes and formal languages

Szerző: Engelfriet, Joost
Megjelenés: 1974

Handbook of formal languages

Megjelenés: 1997
Kapcsolódó cím: Word, language, grammar

Automata, languages and machines

Szerző: Eilenberg, Samuel (1913-1998), Эйленберг, Самуэль (1913-1998)
Megjelenés: 1976
Kapcsolódó cím: B volume

Varieties of formal languages

Szerző: Pin, Jean-Eric
Megjelenés: 1986

Pure mathematics and applications, Ser. A

Megjelenés: 1990
Kapcsolódó cím: Pure mathematics and applications

Conditional term rewriting systems : 1st International Workshop, Orsay, France, July 8-10, 1987 : Proceedings

Megjelenés: 1988

Foundations of logic and functional programming : Workshop , Trento, Italy, December 1986 : Proceedings

Megjelenés: 1988

Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy September 24-October 1, 1986 : Proceedings

Megjelenés: 1987

Automata and Formal Languages : 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008 : proceedings

Megjelenés: 2008

Mathematical foundations of computer science 1977 : Proceedings, 6th Symposium, Tatranská Lomnici, Czechoslovakia, September 5-9, 1977

Megjelenés: 1977

1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973

Megjelenés: 1973

Automata, languages and programming : 29th international colloquium, Wien, Austria, July 13-17, 1992, proceedings

Megjelenés: 1992

A study in string processing languages

Szerző: Klint, Paul
Megjelenés: 1985

Basic machine principles

Szerző: Iliffe, J. K.
Megjelenés: 1968

Basic proof theory

Szerző: Troelstra, Anne Sjerp
Megjelenés: 2000

Lectures on proof verification and approximation algorithms

Megjelenés: 1998

Methods of algorithmic language implementation

Megjelenés: 1977