Tom Sadler

According to our database1, Tom Sadler authored at least 2 papers between 1989 and 1992.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Efficient Temporal Satisfiability.
J. Log. Comput., 1992

1989
Efficient Temporal Reasoning.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989


  Loading...