Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings

Front Cover
J. Loeckx
Springer, Sep 5, 1974 - Computers - 619 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books


Checking stacks and contextfree programmed grammars accept
Dynamic programming schemata

9 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

References from web pages

International Colloquium on Automata, Languages and Programming (ICALP) .... Josep Díaz (Ed.): Automata, Languages and Programming, 10th Colloquium, ... ~ley/ db/ conf/ icalp/

Automata, Languages and Programming (ICALP 85), number 194 in Lecture Notes in Computer Science, pages 140-148. Springer Verlag, 1985. ... CS/ ALP/ FAST/ FAST1985-1995.html

Proceedings of the 7th Colloquium on Automata, Languages and ...
Proceedings of the 7th Colloquium on Automata, Languages and Programming table of contents. Year of Publication: 1980. ISBN:3-540-10003-2. Editors ... citation.cfm?id=646234

Publications of M Hennessy
In U. Montanari and J. Rolim and E. Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, volume 1853 of Lecture Notes in ... users/ matthewh/ publications.html

Publication List
In Jacques Loeckx, editor, Automata, Languages and Programming, volume 14 of Lecture Notes in Computer Science, pages 446-456. Springer Verlag, 1974. ... flajolet/ Publications/ pubu/ index.html

Proceedings, Books, and Special Issues Edited Jan van Leeuwen ...
Automata, Languages and Programming(editor, jointly with F. Orejas and pg ... Automata, Languages and Programming, Special Issue, Papers Selected from the ... jan/ proceedings.pdf

jvtucker-Classified list of publications
ss Wainer, jv Tucker and ji Zucker, Provably computable functions on abstract data types, In M Patterson (ed) Automata, Languages and Programming, ... ~csjvt/ JVTmore/ JVT-Classified%20Publications.htm

Abstraction in Software Model Checking: Principles and Practice
and Eli Shamir, editors, Automata, Languages and Programming, number 820 in .... Colloquium on Automata Languages and Programming (ICALP), number 172 in ... index/ gf4mxuw6quh0bck9.pdf

Correct System Design - Prof. Dr. Ernst-Rüdiger Olderog - Persons ...
In W. Kuich, editor, Automata, Languages and Programming. .... In jw de Bakker and J. van Leeuwen, editors, Automata, Languages and Programming (Proc. ... persons/ ernst-ruediger.olderog/ eindex.html

requires abbrev.bib % for uniformity, $\mu$ is treated as mu (ie ...
on Automata, Languages and Programming, ICALP'96, Paderborn, Germany, 8--12 July 1996", SERIES = lncs, VOLUME = 1099, PAGES = "87--97", PUBLISHER = springer ... ~tarmo/ bibs/ mucalc.bib

Bibliographic information