Found 3 Documents (Results 1–3)

A logically complete reasoning maintenance system based on a logical contraint solver. (English) Zbl 0747.68072

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 295-299 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68T27 68T35

Verifying temporal properties of sequential machines without building their state diagrams. (English) Zbl 0786.68059

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 75-84 (1991).
MSC:  68Q60

Filter Results by …

Document Type

Year of Publication

Main Field