Eliminating Recursion in the µ-Calculus.

Published in: STACS (1999)

Keyphrases

formal language
computer algebra
case study
deductive databases
transitive closure
automated deduction
information systems
expert systems
artificial neural networks
complex objects
algebraic structure
timed automata