The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
Work
Year: 2019
Type: article
Source: Computer Science Logic
Authors Corto Mascle, Martín Zimmermann
Institutions École Normale Supérieure - PSL, University of Liverpool
Cites:
Cited by: 4
Related to: 20
FWCI: 0.132
Citation percentile (by year/subfield): 63.07
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed