Pages that link to "Item:Q3586024"
From MaRDI portal
The following pages link to On Monadic Theories of Monadic Predicates (Q3586024):
Displaying 10 items.
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Truthful Monadic Abstractions (Q2908481) (← links)
- (Q3101100) (← links)
- Synthesizing Monadic Predicates (Q3549312) (← links)
- On Monadic Second-Order Theories of Multidominance Structures (Q3585001) (← links)
- A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)
- (Q4284258) (← links)
- (Q4329354) (← links)
- Monotone recursive definition of predicates and its realizability interpretation (Q5096211) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)