ISBN: 9783540498018
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/Octobe… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540498018
Computer Science; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Language… Mehr…
Springer.com Versandkosten:más costos de envío, zzgl. Versandkosten Details... |
ISBN: 9783540498018
Computer Science; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Language… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540498018
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/Octobe… Mehr…
ISBN: 9783540498018
Computer Science; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Language… Mehr…
ISBN: 9783540498018
Computer Science; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Language… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theorem Proving in Higher Order Logics
EAN (ISBN-13): 9783540498018
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-12-27T13:48:45+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-08-23T18:49:40+02:00 (Berlin)
ISBN/EAN: 9783540498018
ISBN - alternative Schreibweisen:
978-3-540-49801-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jim malcolm
Titel des Buches: theorem proving
Daten vom Verlag:
Autor/in: Jim Grundy; Malcolm Newey
Titel: Lecture Notes in Computer Science; Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Verlag: Springer; Springer Berlin
496 Seiten
Erscheinungsjahr: 2005-01-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 496 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Annotation; Coq; Isabelle; Variable; algorithm; algorithms; automata; formal specification; formal verification; logic; modeling; proving; search algorithm; theorem proving; verification; C; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Software Engineering; Formal Languages and Automata Theory; Logic Design; Computer Science; Künstliche Intelligenz; Software Engineering; Rechnerarchitektur und Logik-Entwurf; BC
Verified lexical analysis.- Extending window inference.- Program abstraction in a higher-order logic framework.- The village telephone system: A case study in formal software engineering.- Generating embeddings from denotational descriptions.- An interface between CLAM and HOL.- Classical propositional decidability via Nuprl proof extraction.- A comparison of PVS and Isabelle/HOL.- Adding external decision procedures to HOL90 securely.- Formalizing basic first order model theory.- Formalizing Dijkstra.- Mechanical verification of total correctness through diversion verification conditions.- A type annotation scheme for Nuprl.- Verifying a garbage collection algorithm.- Hot: A concurrent automated theorem prover based on higher-order tableaux.- Free variables and subexpressions in higher-order meta logic.- An LPO-based termination ordering for higher-order terms without ?-abstraction.- Proving isomorphism of first-order logic proof systems in HOL.- Exploiting parallelism in interactive theorem provers.- I/O automata and beyond: Temporal logic and abstraction in Isabelle.- Object-oriented verification based on record subtyping in Higher-Order Logic.- On the effectiveness of theorem proving guided discovery of formal assertions for a register allocator in a high-level synthesis system.- Co-inductive axiomatization of a synchronous language.- Formal specification and theorem proving breakthroughs in geometric modeling.- A tool for data refinement.- Mechanizing relevant logics with HOL.- Case studies in meta-level theorem proving.- Formalization of graph search algorithms and its applications.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9788879995467 TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003) (Basin David)
- 9783540664635 Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Yves Bertot; Gilles Dowek; Andre Hirschowitz; Christine Paulin; Laurent Thery)
- 9783540230175 Theorem Proving in Higher Order Logics (Konrad Slind; Annette Bunker; Ganesh C. Gopalakrishnan)
- Proceedings of the 14th International Computer Music Conference Cologne, September 20-25, 1988 (Boja?czyk (auth.), Miko?aj, Grädel, Erich, Kahle (eds.), Reinhard)
< zum Archiv...