Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmè??é?², Sweden, August 12-15, 2003, Proceedings (Lecture Notes in Computer Science)

Lingas, Andrzej [Editor]; Nilsson, Bengt J. [Editor];

ISBN 10: 3540405437 / ISBN 13: 9783540405436

Edité par Springer, 2003

A propos de cet article

Ex-library paperback in very nice condition with the usual markings and attachments.

N° de réf. du vendeur UTD-141216101

Détails bibliographiques

• Titre: Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmè??é?², Sweden, August 12-15, 2003, Proceedings (Lecture Notes in Computer Science)
• Éditeur: Springer
• Date de parution: 2003
• Langue: anglais
• ISBN à 10 chiffres: 3540405437
• ISBN à 13 chiffres: 9783540405436
• Reliure: Paperback
• État de l'article: Very Good

A propos de ce titre

Synopsis

The papers in this volume were presented at the 14th Symposium on Fun- mentals of Computation Theory. The symposium was established in 1977 as a biennial event for researchers interested in all aspects of theoretical computer science, in particular in al- rithms, complexity, and formal and logical methods. The previous FCT con- rences were held in the following cities: Poznan ´ (Poland, 1977), Wendisch-Rietz (Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus (Germany, 1985), Kazan (Russia, 1987), Szeged (Hungary, 1989), Gosen-Berlin (Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Krak´ ow (Poland, 1997), Iasi (Romania, 1999), and Riga (Latvia, 2001). The FCT conferences are coordinated by the FCT steering committee, which consistsofB.Chlebus(Denver/Warsaw), Z.Esik(Szeged), M.Karpinski(Bonn), A. Lingas (Lund), M. Santha (Paris), E. Upfal (Providence), and I. Wegener (Dortmund). The call for papers sought contributions on original research in all aspects of theoretical computer science including design and analysis of algorithms, abstract data types, approximation algorithms, automata and formal lang- ges, categorical and topological approaches, circuits, computational and str- turalcomplexity, circuitandprooftheory, computationalbiology, computational geometry, computer systems theory, concurrency theory, cryptography, domain theory, distributed algorithms and computation, molecular computation, qu- tum computation and information, granular computation, probabilistic com- tation, learning theory, rewriting, semantics, logicin computer science, speci?- tion, transformation and veri?cation, and algebraic aspects of computer science. There were 73 papers submitted, of which the majority were very good.