Mathematical Foundations of Computer Science 1988

Michal P. Chytil

ISBN 10: 354050110X / ISBN 13: 9783540501107

Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1988, 1988

A propos de cet article

This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation. 576 pp. Englisch.

N° de réf. du vendeur 9783540501107

Détails bibliographiques

• Titre: Mathematical Foundations of Computer Science 1988
• Éditeur: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1988
• Date de parution: 1988
• Langue: anglais
• ISBN à 10 chiffres: 354050110X
• ISBN à 13 chiffres: 9783540501107
• Reliure: Taschenbuch
• État de l'article: Neu
• Dimensions: 235 L x 155 H x 31 P (en millimètres) 235 millimètres de largeur par 155 millimètres de hauteur par 31 millimètres de profondeur
• Poids: 861 grammes

A propos de ce titre

Synopsis

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.