Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
Similar content being viewed by others
Keywords
Table of contents (17 papers)
Bibliographic Information
Book Title: Types for Proofs and Programs
Book Subtitle: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Editors: Henk Barendregt, Tobias Nipkow
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-58085-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-58085-0Published: 20 May 1994
eBook ISBN: 978-3-540-48440-0Published: 06 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 395
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence