Equations between Regular Terms and an Application to Process Logic

Ashok K. Chandra Joseph Y. Halpern Albert R. Meyer Rohit Parikh

Published in: STOC (1981)

Keyphrases

neural network
case study
mathematical model
databases
decision trees
control system
co occurrence
process model
automated reasoning