On translations of temporal logic of actions into monadic second-order logic
Work
Year: 1998
Type: article
Source: Theoretical Computer Science
Author Alexander Rabinovich
Institution Tel Aviv University
Cites: 15
Cited by: 13
Related to: 10
FWCI: 1.748
Citation percentile (by year/subfield): 66.77
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed