Tom Sadler

Publication Activity (10 Years)

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

Publications

E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Satisfiability. J. Log. Comput. 2 (2) (1992)
E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Reasoning. POPL (1989)