Logical Environments - Rilegato

Rilegato

ISBN 10: 0521433126 ISBN 13: 9780521433129

Casa editrice: Cambridge University Press, 1993

Riassunto

Proceedings of the second International Workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science.

Su questo libro

Recensione

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

Descrizione del libro

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1993
• Lingua: Inglese
• ISBN 10: 0521433126
• ISBN 13: 9780521433129
• Rilegatura: Copertina rigida
• Numero di pagine: 352
• Redattore: Huet Gerard, Plotkin Gordon
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia