Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / edited by Elsa L. Gunter, Amy Felty.

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gunter, Elsa L. (Editor), Felty, Amy (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Edition:	1st ed. 1997.
Series:	Lecture Notes in Computer Science, 1275 Springer eBook Collection.
Subjects:	Architecture, Computer. Computers. Mathematical logic. Logic design. Software engineering. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Published: (2002)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Published: (2007)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Published: (2005)

Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings
Published: (1996)

Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Published: (2004)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Published: (2008)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Published: (1998)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Published: (2003)

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Published: (2009)

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Published: (1995)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Published: (2000)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1996)

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Published: (2001)

Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Published: (1999)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1996)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1990)

Higher Order Logic Theorem Proving and Its Applications 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Published: (1994)

Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions
by: Bertot, Yves, et al.
Published: (2004)

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Published: (2012)

Higher Order Logic Theorem Proving and Its Applications 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Published: (1994)

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Published: (2016)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Published: (2011)

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Published: (2013)

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Published: (2015)

Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Published: (1999)

Logics of Programs Brooklyn, June 17-19, 1985
Published: (1985)

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Published: (2014)

Logically determined design : clockless system design with NULL convention logic
by: Fant, Karl M.
Published: (2005)

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Published: (1998)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Published: (2010)

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Published: (2017)

Solving Higher-Order Equations From Logic to Programming
by: Prehofer, Christian
Published: (1998)

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Published: (2010)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Published: (2018)

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Logic for Concurrency and Synchronisation
Published: (2003)

Digital Design and Computer Architecture : From Gates to Processors.
by: Harris, David
Published: (2007)

Logics for Concurrency Structure versus Automata
Published: (1996)

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
by: Janssen, Jeroen, et al.
Published: (2012)

Logic of Computation
Published: (1997)