Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1378)
Included in the following conference series:
Conference proceedings info: FoSSaCS 1998.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Keywords
Table of contents (19 papers)
-
Front Matter
Other volumes
-
Foundations of Software Science and Computation Structures
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