Login / Signup
Fixed-point Solutions for Ground Term Rewriting Systems.
Dorel Lucanu
Published in:
Sci. Ann. Cuza Univ. (1994)
Keyphrases
</>
fixed point
term rewriting systems
sufficient conditions
floating point
constraint databases
dynamical systems
fixed point theorem
optimal solution
belief propagation
database
functional programs
high level
least squares