The following pages link to (Q4881682):
Displaying 6 items.
- A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics (Q911574) (← links)
- Decision problems for subclasses of rational relations over finite and infinite words (Q1679989) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- (Q4542608) (← links)
- Deciding properties of integral relational automata (Q4632414) (← links)
- (Q4707763) (← links)