Regular Strategies as Proof Tactics for CIRC.

Dorel Lucanu Grigore Rosu Gheorghe Grigoras

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

real time
information retrieval
mobile robot
online auctions
theorem proving
database
artificial intelligence
web services
control system