Semantic Scholar Open Access 1982 600 sitasi

Decision procedures and expressiveness in the temporal logic of branching time

E. Emerson Joseph Y. Halpern

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

Penulis (2)

E. Emerson

Joseph Y. Halpern

Format Sitasi

APA MLA BibTeX

Emerson, E., Halpern, J.Y. (1982). Decision procedures and expressiveness in the temporal logic of branching time. https://doi.org/10.1145/800070.802190

Akses Cepat

Lihat di Sumber doi.org/10.1145/800070.802190

Informasi Jurnal

Tahun Terbit: 1982
Bahasa: en
Total Sitasi: 600×
Sumber Database: Semantic Scholar
DOI: 10.1145/800070.802190
Akses: Open Access ✓