Sciweavers

193 search results - page 15 / 39

» A Paraconsistent Higher Order Logic

21

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

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

14 years 1 months ago

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

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

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

claim paper

Read More »

16

TPHOL
1998
IEEE

96views Automated Reasoning» more TPHOL 1998»

Free Variables and Subexpressions in Higher-Order Meta Logic

13 years 12 months ago

Free Variables and Subexpressions in Higher-Order Meta Logic

Download www.cs.hofstra.edu

Chuck Liang

claim paper

Read More »

26

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

13 years 12 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

36

TYPES
2000
Springer

150views Formal Methods» more TYPES 2000»

Executing Higher Order Logic

13 years 11 months ago

Executing Higher Order Logic

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 »

10

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

13 years 7 months ago

Topological Completeness for Higher-Order Logic

Download www.brics.dk

Steven Awodey, Carsten Butz

claim paper

Read More »

« Prev « First page 15 / 39 Last » Next »