https://www.sciweavers.org/publications/maximal-decidable-fragments-halpern-and-shohams-modal-logic-intervals/gmap-country-traffic
Visitors Traffic Map - Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals...
This page uses Google maps to render the traffic of Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals on Sciweavers
https://iccl.inf.tu-dresden.de/web/Inproceedings3026/en
Status QIO: Conjunctive Query Entailment is Decidable - International Center for Computational Logic
Birte Glimm, Sebastian Rudolph. Status QIO: Conjunctive Query Entailment is Decidable. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.,Principles...
https://air.uniud.it/handle/11390/860196
A Decidable Spatial Logic with Cone-shaped Cardinal Directions
decidablespatiallogicconeshaped
https://researchportal.ip-paris.fr/fr/publications/characterizing-definability-in-decidable-fixpoint-logics/
Characterizing definability in decidable fixpoint logics - Institut Polytechnique de Paris
characterizingdefinabilitydecidablefixpointlogics
https://cris.iucc.ac.il/en/publications/decidable-verification-under-localized-release-acquire-concurrenc/
Decidable Verification under Localized Release-Acquire Concurrency - Israeli Research Community...
decidableverificationlocalizedreleaseacquire
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.decidable-propositions.html
Decidable propositions - agda-unimath
decidablepropositionsagda
https://stacks.foundation/new-clarity-brand
Clarity Brand Update: Powerful, Decidable, Predictable, and now Beautiful too
Today, thanks to the Stacks community, it gets an updated look and feel that better reflects the importance of the language and will serve it well as adoption...
brand updateclaritypowerfuldecidablepredictable