Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Notes in Computer Science, 1784, Band 1784) - Softcover

 
9783540672579: Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Notes in Computer Science, 1784, Band 1784)
Softcover
ISBN 10: 3540672575 ISBN 13: 9783540672579
Verlag: Springer, 2000

Inhaltsangabe

This volume constitutes the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 25 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes, automata theory, predicate logic, etc.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
3540672575
ISBN 13 
9783540672579
Einband
Taschenbuch
Anzahl der Seiten
408
Herausgeber
Tiuryn Jerzy
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland