Reasoning about Infinite Computation Paths (Extended Abstract)

Pierre Wolper Moshe Y. Vardi A. Prasad Sistla

Published in: FOCS (1983)

Keyphrases

extended abstract
information retrieval
data mining
artificial intelligence
metadata
relational databases
path planning
qualitative reasoning
formal theory