DISSERTATION
Hybrid Branching-Time Logics
Keywords:
Branching (polymer chemistry) Mathematics Computer science Materials science
Metrics
1
Cited By
0.21
FWCI (Field Weighted Citation Impact)
0
Refs
0.57
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Cellular Automata and Applications
Physical Sciences → Computer Science → Computational Theory and Mathematics
DNA and Biological Computing
Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology
Slime Mold and Myxomycetes Research
Physical Sciences → Engineering → Biomedical Engineering
Related Documents
JOURNAL ARTICLE
Model checking for hybrid branching-time logics
Journal: Journal of Logical and Algebraic Methods in Programming Year: 2018 Vol: 110 Pages: 100427-100427
JOURNAL ARTICLE
On the expressive power of hybrid branching-time logics
Journal: Theoretical Computer Science Year: 2020 Vol: 813 Pages: 362-374
BOOK-CHAPTER
Branching-Time Temporal Logics
Stéphane DemriValentin GorankoMartin Lange
Cambridge University Press eBooks Year: 2016 Pages: 209-270
JOURNAL ARTICLE
Branching-time logics with path relativisation
Journal: Journal of Computer and System Sciences Year: 2013 Vol: 80 (2)Pages: 375-389