Waldo C. Kabat

	1992
5		Anita Jindal, Ross A. Overbeek, Waldo C. Kabat: Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reasoning 8(1): 23-38 (1992)
	1986
4		Jeffrey J. P. Tsai, Waldo C. Kabat: Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475
3		Bruce D. Parrello, Waldo C. Kabat: Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. J. Autom. Reasoning 2(1): 1-42 (1986)
	1985
2		Waldo C. Kabat, Anthony S. Wojcik: Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. IEEE Trans. Computers 34(7): 610-632 (1985)
	1981
1		Waldo C. Kabat, Anthony S. Wojcik: On the Design of 4-Valued Digital Systems. IEEE Trans. Computers 30(9): 666-671 (1981)

Coauthor Index

1	Anita Jindal	[5]
2	Ross A. Overbeek	[5]
3	Bruce D. Parrello	[3]
4	Jeffrey J. P. Tsai	[4]
5	Anthony S. Wojcik	[1] [2]

Colors in the list of coauthors