Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1378)
Conference series link(s): FoSSaCS: International Conference on Foundations of Software Science and Computation Structures
Conference proceedings info: FoSSaCS 1998.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
About this book
The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.
Bibliographic Information
Book Title: Foundations of Software Science and Computation Structures
Book Subtitle: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Editors: Maurice Nivat
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0053537
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-64300-5Published: 11 March 1998
eBook ISBN: 978-3-540-69720-6Published: 14 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 297
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices