Logic of Computation - Couverture rigide

 
9783540629634: Logic of Computation
Couverture rigide
ISBN 10 : 3540629637 ISBN 13 : 9783540629634
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997

Synopsis

Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl's Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1997
Langue
anglais
ISBN 10 
3540629637
ISBN 13 
9783540629634
Reliure
Relié
Nombre de pages
401
Éditeur
Schwichtenberg Helmut
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne

Autres éditions populaires du même titre

9783642638329: Logic of Computation: (Closed))

Edition présentée

ISBN 10 :  3642638325 ISBN 13 :  9783642638329
Editeur : Springer, 2012
Couverture souple