Encapsulating Non-Determinism in Functional Logic Computations.

Bernd Braßel Michael Hanus Frank Huch

Published in: J. Funct. Log. Program. (2004)

Keyphrases

modal logic
logic programming
classical logic
asynchronous circuits
automated reasoning
multi valued
computational properties
functional properties
logic synthesis
neural network
defeasible logic
predicate logic
formal theory
epistemic logic
proof theory