Proving Boolean Combinations of Deterministic Properties

Bowen Alpern Fred B. Schneider

Published in: LICS (1987)

Keyphrases

mobile robot
structural properties
desirable properties
artificial intelligence
search engine
knowledge base
website
web services
database systems
preprocessing
scheduling problem
management system