Dynamically-Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier Claude Kirchner Hélène Kirchner

Published in: ICALP (1994)

Keyphrases

order sorted
predicate logic
higher order
dynamically changing
theorem proving
lambda calculus
equational theories
multimedia
pairwise
domain specific
changing environment
case study
heuristic search
theorem prover