A Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
Paper
Publications
196 results at Journal of the ACM
A Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
PaperA Lower Bound for Integer Greatest Common Divisor Computations
- Yishay Mansour
- Baruch Schieber
- et al.
- 1991
- Journal of the ACM
PaperEarly Stopping in Byzantine Agreement
- Danny Dolev
- Ruediger Reischuk
- et al.
- 1990
- Journal of the ACM
PaperKnowledge and Common Knowledge in a Distributed Environment
- Joseph Y. Halpern
- Yoram Moses
- 1990
- Journal of the ACM
PaperRenaming in an Asynchronous Environment
- Hagit Attiya
- Amotz Bar-Noy
- et al.
- 1990
- Journal of the ACM
PaperAnalysis of Database Performance with Dynamic Locking
- In Kyung Ryu
- Alexander Thomasian
- 1990
- Journal of the ACM
PaperMinimal and Complete Word Unification
- Joxan Jaffar
- 1990
- Journal of the ACM
PaperPolynomial-Time Implication Problems for Unary Inclusion Dependencies
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1990
- Journal of the ACM
PaperCompleteness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
Paper