Publications

2 results at Jerusalem Conference on Information Technology 1990

What is an inference rule?
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Deadlock-avoidance in a page-parallel batch rasterizer
- - Yitzhak Birk
- 1990
- Jerusalem Conference on Information Technology 1990

What is an inference rule?