Pages that link to "Item:Q814615"
From MaRDI portal
The following pages link to On the undecidability of logics with converse, nominals, recursion and counting (Q814615):
Displaying 6 items.
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- On the adaptive control of a class of SISO dynamic hybrid systems (Q2490726) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Enriched μ–Calculus Pushdown Module Checking (Q3498485) (← links)
