Metrics
S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems
Last updated: Sat, 29 Mar 2025 3:58:21 UTC
Accesses
Accesses is an approximate count of unique views and downloads. This number can fluctuate depending on multiple factors.
We update counts daily.
144 Accesses
Citations
We get citation counts from Web of Science and CrossRef. Accuracy is dependent on their data availability.
We update counts daily.
Data not availableWeb of Science
Data not availableCrossRef
Altmetric
- 2 tweeters
- 1 Facebook pages
- 1 Mendeley
Altmetric calculates a score based on the online attention an article gets — the higher the score, the more online attention an article has received.
Surrounding the score can be 1 or more colours. Each colour represents a different type of online attention, like social media or news outlets.
Older articles have had more time to get noticed, so Altmetric provides context data for articles of a similar age.
This article is in the 29th percentile (ranked 210,457th) of the 340,812 tracked articles of a similar age in all journals and the 1st percentile (ranked 5th) of the 12 tracked articles of a similar age in Studia Logica.
View more on Altmetric.