Login / Signup
For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable.
Sándor Vágvölgyi
Rémi Gilleron
Published in:
Bull. EATCS (1992)
Keyphrases
</>
databases
small number
neural network
website
expert systems
function symbols
definite clause