---
_id: '4592'
article_processing_charge: No
article_type: letter_note
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
apa: Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News.
ACM.
chicago: Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News.
ACM, 1991.
ieee: R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22,
no. 3. ACM, pp. 6–12, 1991.
ista: Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
mla: Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News,
vol. 22, no. 3, ACM, 1991, pp. 6–12.
short: R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.
date_created: 2018-12-11T12:09:39Z
date_published: 1991-01-01T00:00:00Z
date_updated: 2022-02-24T13:54:10Z
day: '01'
extern: '1'
intvolume: ' 22'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/toc/sigact/1991/22/1
month: '01'
oa_version: None
page: 6 - 12
publication: SIGACT News
publication_identifier:
issn:
- 0163-5700
publication_status: published
publisher: ACM
publist_id: '113'
quality_controlled: '1'
status: public
title: Time for logic
type: journal_article
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 22
year: '1991'
...