119 search results - page 14 / 24 » Alpha-Structural Recursion and Induction |
126
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
135
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
95
Voted
ILP
2004
Springer
15 years 8 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
116
Voted
TAPSOFT
1993
Springer
15 years 6 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
123
Voted
CADE
1990
Springer
15 years 6 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...