Tom Sadler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

2 E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)

1989

1 E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178

	1992
2		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)
	1989
1		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178

Coauthor Index