Cover Image

Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /

Bibliographic Details
Corporate Authors:	NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors:	Broy, M., 1949-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	NATO ASI series. Computer and systems sciences ; no. 36.
Subjects:	Formal languages > Congresses. Logic programming > Congresses.

Similar Items

Modal logic and process algebra : a bisimulation perspective /
Published: (1995)

Logic and language models for computer science /
by: Hamburger, Henry, 1940-
Published: (2002)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings /
Published: (2006)

Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings /
Published: (2000)

Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings /
Published: (2002)

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings /
Published: (2004)

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings /
Published: (2004)

Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings /
Published: (2000)

Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23-25, 2002 : proceedings /
Published: (2002)

Grammatical inference : learning automata and grammars /
by: De la Higuera, Colin
Published: (2010)

Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.).
Published: (2003)

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 /
Published: (1985)

Automata, languages, and programming : third international colloquium at the University of Edinburgh, 20, 21, 22, 23, July 1976 /
Published: (1976)

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings /
Published: (1992)

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings /
Published: (1988)

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings /
Published: (1986)

Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings /
Published: (1989)

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings /
Published: (1987)

Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /
Published: (2006)

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings /
Published: (1995)

Automata, languages and programming : 32nd international colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings /
Published: (2005)

Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
Published: (2001)

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings /
Published: (1993)

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings /
Published: (2007)

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings /
Published: (1994)

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
Published: (1997)

Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings /
Published: (1996)

Automata, languages and programming /
Published: (1973)

Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] /
Published: (1991)

Automata, languages, and programming : 2d Colloquium, University of Saarbrucken, July 29-August 2, 1974 /
Published: (1974)

Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
Published: (1976)

Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
Published: (2004)

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 /
Published: (1982)

Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 /
Published: (1980)

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
Published: (1979)

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 /
Published: (1978)

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
Published: (1977)

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 /
Published: (1981)

Discrete mathematics : applied algebra for computer and information science /
by: Bobrow, Leonard S.
Published: (1974)