Waldo C. Kabat

Publication Activity (10 Years)

Years Active: 1981-1992
Publications (10 Years): 0

Publications

Anita Jindal, Ross A. Overbeek, Waldo C. Kabat
Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reason. 8 (1) (1992)
Jeffrey J. P. Tsai, Waldo C. Kabat
Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science (1986)
Bruce D. Parrello, Waldo C. Kabat
Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. J. Autom. Reason. 2 (1) (1986)
Waldo C. Kabat, Wojtek Kozaczynski, Vicki Lovegren
Logic Based Information System Specification Verification. ICIS (1986)
Man-kuen S. Chen, Chui-fat C. Chau, Waldo C. Kabat
Decision support systems: a rule-based approach. ACM Annual Conference (1985)
Waldo C. Kabat, Anthony S. Wojcik
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. IEEE Trans. Computers 34 (7) (1985)
Waldo C. Kabat, Anthony S. Wojcik
On the Design of 4-Valued Digital Systems. IEEE Trans. Computers 30 (9) (1981)