Search Sciweavers | Sciweavers

193 search results - page 15 / 39

» A Paraconsistent Higher Order Logic

103

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 9 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

Voted

TPHOL
1998
IEEE

96views Automated Reasoning» more TPHOL 1998»

Free Variables and Subexpressions in Higher-Order Meta Logic

15 years 7 months ago

Download www.cs.hofstra.edu

Chuck Liang

claim paper

Read More »

110

Voted

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 7 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

153

Voted

TYPES
2000
Springer

150views Formal Methods» more TYPES 2000»

Executing Higher Order Logic

15 years 7 months ago

Download www4.in.tum.de

We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...

Stefan Berghofer, Tobias Nipkow

claim paper

Read More »

click to vote

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers