Fair Termination is Decidable for Ground Systems.

Published in: RTA (1989)

Keyphrases

computer systems
information systems
logic programs
learning systems
rewrite systems
database
databases
real world
genetic algorithm
artificial intelligence
knowledge base
learning environment