Articoli correlati a Logical Frameworks
Sinossi
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. 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.
Contenuti
1. The logical theory of constructions P. Aczel and D. Carlisle; 2. The Boyer-Moore theorem prover and Nuprl: an experimental comparison D. Basin and M. Kaufmann; 3. Girard normalisation proof in LEGO S. Beradi; 4. A plea for weaker frameworks N. de Bruijn; 5. Deliverables: an approach to program development in the Calculus of Constructions R. Burstall and J. McKinna; 6. Finding computational content in classical proofs R. Constable and C. Murthy; 7. An algorithm for testing conversion in type theory T. Coquand; 8. A proof synthesis algorithm for testing conversion in type theory G. Dowek; 9. Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics P. Dybjer; 10. Encoding a dependent-type lambda-calculus in a logic A. Felty and D. Miller; 11. Nederpelt's calculus extended with a notion of context as a logical framework P. de Groote; 12. Models of partial induction L. Hallnäs; 13. Goal-directed proof construction in type theory L. Helmink; 14. Elf: a language for logic definition and verified meta-programming E. Pfenning; 15. Investigations into proof-search in a system of first-order dependent function types D. Pym and L. Wallen; 16. The role of elimination inferences in a structural framework P. Schroeder-Heister.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 110,75
EUR 10,41 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Logical Frameworks
Foto dell'editore
Logical Frameworks
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521413008_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logical Frameworks
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.Inhaltsverzeichnis1. The logical theory of constructions P. Aczel and D. Carlisle 2. The Boyer-Moore theorem prover and Nuprl: an ex. Codice articolo 446934626
Quantità: Più di 20 disponibili
Foto dell'editore
Logical Frameworks
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand. Codice articolo __0521413001
Quantità: 1 disponibili
Foto dell'editore
Logical Frameworks
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 810. Codice articolo C9780521413008
Quantità: Più di 20 disponibili
Foto dell'editore
Logical Frameworks
Da: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0521413001
Quantità: 1 disponibili
Foto dell'editore
Logical Frameworks (Hardcover)
Editore:
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521413008
Quantità: 1 disponibili
Foto dell'editore
Logical Frameworks
Editore:
Cambridge University Press CUP, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 416. Codice articolo 26434808
Quantità: 4 disponibili
Foto dell'editore
Logical Frameworks
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks132398
Quantità: 1 disponibili
Foto dell'editore
Logical Frameworks (Hardcover)
Editore:
Cambridge University Press, Cambridge, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Nuovo
Rilegato
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780521413008
Quantità: 1 disponibili
Foto dell'editore
Logical Frameworks
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190002047
Quantità: Più di 20 disponibili