A Functional Logic for Higher Level Reasoning About Computation.

John Staples Peter J. Robinson Daniel Hazel

Published in: Formal Aspects Comput. (1994)

Keyphrases

higher level
formal theory
low level
lower level
predicate logic
proof theory
modal operators
classical logic
modal logic
multi valued
database systems
website
automated reasoning
parallel computation
logical framework
real world
neural network
databases
data sets
real time