Cover Image

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 /

Show other versions (1)

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Symposium on Mathematical Foundations of Computer Science (1972- )
Other Authors:	Gruska, Jozef, Rovan, B. (Branislav), Wiedermann, J. (Juraj)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, ©1986.
Series:	Lecture notes in computer science ; 233.
Subjects:	Machine theory > Congresses. Formal languages > Congresses. Computational complexity > Congresses. informatique théorique. informatique fondamentale. Automates mathématiques, Théorie des > Congrès. Langages formels > Congrès. Complexité de calcul (Informatique) > Congrès. Computational complexity. Formal languages. Machine theory. Complexité de calcul (informatique) Langages formels. Electronic books. Conference proceedings. Congressen (vorm)
Online Access:	Connect to the full text of this electronic book

Similar Items

Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /
Published: (1979)

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
Published: (1975)

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 /
Published: (1981)

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 /
Published: (1975)

Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 /
Published: (1977)

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 /
Published: (1975)

Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 /
Published: (1976)

Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
Published: (1975)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E., 1939-
Published: (2001)

Complexity of computer computations : proceedings /
Published: (1972)

Advances in algorithms, languages, and complexity /
Published: (1997)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin, 1928-2023
Published: (1983)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Published: (2001)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin, 1928-2023, et al.
Published: (1994)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

Formal Languages and Computation : Models and Their Applications /
by: Meduna, Alexander
Published: (2014)

Computation theory and logic /
Published: (1987)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Published: (2001)

Introduction to the theory of computation /
by: Sipser, Michael
Published: (1997)

Algorithms and complexity : proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990 /
Published: (1990)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Published: (2001)

Turing machines with sublogarithmic space /
by: Szepietowski, Andrzej
Published: (1994)

Computational science-- ICCS 2004 : 4th international conference, Kraków, Poland, June 6-9, 2004 : proceedings /
Published: (2004)

Complexity and structure /
by: Schöning, Uwe, 1955-
Published: (1986)

Grammar and L forms : an introduction /
by: Wood, Derick, 1940-
Published: (1980)

Fundamenta informaticae.

Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987 /
Published: (1988)

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /
Published: (1988)

Computational science and its applications : ICCSA 2004, international conference, Assisi, Italy, May 14-17, 2004 : proceedings /
Published: (2004)

Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings /
Published: (1995)

Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen /
Published: (1984)

Computational complexity : a quantitative perspective /
by: Zimand, Marius
Published: (2004)

Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings /
Published: (1994)

Algorithm theory - SWAT 2004 : 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, proceedings /
Published: (2004)

Fourth Czechoslovakian Symposium on Combinatorics, Graphs, and Complexity /
Published: (1992)

Algorithms and complexity : third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings /
Published: (1997)

Theory of machines and computations proceedings.
Published: (1971)

Algorithm theory-- SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings /
Published: (2000)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
Published: (1995)

STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings /
Published: (2000)