|
Search the dblp DataBase
Waldo C. Kabat:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jeffrey J. P. Tsai, Waldo C. Kabat
Verification of software specifications using automated reasoning techniques (abstract). [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1986, pp:475- [Conf]
- Anita Jindal, Ross A. Overbeek, Waldo C. Kabat
Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:1, pp:23-38 [Journal]
- Bruce D. Parrello, Waldo C. Kabat
Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:1, pp:1-42 [Journal]
- Waldo C. Kabat, Anthony S. Wojcik
On the Design of 4-Valued Digital Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1981, v:30, n:9, pp:666-671 [Journal]
- Waldo C. Kabat, Anthony S. Wojcik
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1985, v:34, n:7, pp:610-632 [Journal]
Search in 0.001secs, Finished in 0.001secs
|