partial inductive definitions
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A finitary version of the calculus of partial inductive definitions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013605 ◽

2005 ◽

pp. 89-134 ◽

Cited By ~ 11

Author(s):

Lars -Henrik Eriksson

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions

Terminological reasoning and partial inductive definitions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013610 ◽

2005 ◽

pp. 221-237 ◽

Cited By ~ 1

Author(s):

Philipp Hanschke

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions

Pi: An interactive derivation editor for the calculus of partial inductive definitions

Automated Deduction — CADE-12 - Lecture Notes in Computer Science ◽

10.1007/3-540-58156-1_68 ◽

1994 ◽

pp. 821-825 ◽

Cited By ~ 8

Author(s):

Lars-Henrik Eriksson

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions

Finitary partial inductive definitions as a general logic

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_52 ◽

1994 ◽

pp. 94-119 ◽

Cited By ~ 1

Author(s):

Lars -Henrik Eriksson

Keyword(s):

Inductive Definitions ◽

General Logic ◽

Partial Inductive Definitions

Partial inductive definitions as type-systems for λ-terms

BIT Numerical Mathematics ◽

10.1007/bf01995106 ◽

1992 ◽

Vol 32 (1) ◽

pp. 30-44

Author(s):

Daniel Fredholm ◽

Svetozar Serafimovski

Keyword(s):

Type Systems ◽

Inductive Definitions ◽

Partial Inductive Definitions

Models of partial inductive definitions

Logical Frameworks ◽

10.1017/cbo9780511569807.015 ◽

1991 ◽

pp. 365-384

Author(s):

Lars Hallnäs

Keyword(s):

Inductive Definitions ◽

Partial Inductive Definitions