WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/774318657

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1998 : proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "TPHOLs'98"
  • "TPHOLs '98"
  • "TPHOLs '96"@en
  • "TPHOLs '96"
  • "TPHOLs'96"

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • ""This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."--PUBLISHER'S WEBSITE."
  • "This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."
  • "This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."@en
  • "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/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed."

editor

genre

http://schema.org/genre

  • "Conference proceedings"@en
  • "Electronic books"
  • "Electronic books"@en
  • "Kongreß"
  • "Canberra (1998)"
  • "Congressen (vorm)"
  • "Turku (1996)"@en
  • "Turku (1996)"
  • "Kongress"
  • "Kongress"@en
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en

name

http://schema.org/name

  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1998 : proceedings"@en
  • "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98 Canberra, Australia September 27-October 1, 1998 Proceedings"
  • "Theorem proving in higher order logics : 11th International Conference, TPHOLs'98 : Canberra, Australia, September 27-October 1, 1998 : proceedings"
  • "Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, august 26-30, 1996, proceedings"
  • "Theorem proving in higher order logics 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference ; proceedings"
  • "Theorem proving in higher order logics : 9th International Conference, TPHOL '96, Turku, Finland, August 26-30, 1996 : proceedings"@en
  • "Theorem proving in higher order logics : 9th international conference, TPHOLs'96 : Turku, Finland, August 26-30, 1996 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference"
  • "Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings"
  • "Theorem proving in higher order logics : 9th international conference ; proceedings"
  • "Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings"
  • "Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996 ; proceedings"
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings"@en
  • "Theorem proving in higher order logics"
  • "Theorem proving in higher order logics"@en
  • "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings"
  • "Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings"@en
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 proceedings"
  • "Theorem Proving in Higher Order Logics"@en
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings"
  • "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September/October 1998, proceedings"@it
  • "Theorem proving in higher order logics 11th international conference, TPHOLs '98 : Canberra, Australia, September 27 - October 1, 1998 : proceedings"
  • "Theorem proving in higher order logics 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings"
  • "Theorem proving in higher order logics 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings"@en

workExample