An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

0 avg rating
( 0 ratings by Goodreads )
 
9783832525026: An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
View all copies of this ISBN edition:
 
 

General purpose theorem provers provide sophisticated proof methods, and become valuable tools in, e.g. formal software development. Of particular interest here are proof systems with the LCF architecture, developing large theories from a small logical kernel, because this approach simplifies the validation of derived results. On the other hand, such provers often lack some of advanced structuring mechanisms found in specification languages. This thesis firstly gives a formal foundation for a seamless extension of a logical framework by similar mechanisms, and secondly presents an elaborated case study in the LCF-style theorem prover Isabelle, employing the introduced concepts of morphisms and instantiation of theories in-the-large.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 60.00
US$ 60.00

Convert currency

Shipping: US$ 6.75
Within U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Bortin, Maksym
Published by Logos Verlag (2010)
ISBN 10: 3832525025 ISBN 13: 9783832525026
New PAPERBACK Quantity Available: 4
Seller:
ISD LLC
(Bristol, CT, U.S.A.)
Rating
[?]

Book Description Logos Verlag, 2010. PAPERBACK. Condition: New. 3832525025. Seller Inventory # 36882P

More information about this seller | Contact this seller

Buy New
US$ 60.00
Convert currency

Add to Basket

Shipping: US$ 6.75
Within U.S.A.
Destination, rates & speeds