193 search results - page 15 / 39 » A Paraconsistent Higher Order Logic |
ASIAN
2004
Springer
15 years 3 months ago
2004
Springer
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
LICS
1997
IEEE
15 years 1 months ago
1997
IEEE
100
click to vote
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
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...
43
Voted
JSYML
2000
14 years 9 months ago
2000