Pages that link to "Item:Q1392280"
From MaRDI portal
The following pages link to Monadic logic programs and functional complexity (Q1392280):
Displaying 13 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- Compositions of programs that induce special monotonic functions (Q1091118) (← links)
- On the monotonicity of (LDL) logic programs with set. (Q1353958) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- A fast consequence recognition algorithm for monadic logical programs (Q1778352) (← links)
- (Q2939010) (← links)
- (Q3824397) (← links)
- Computational Semantics for Monadic Quantifiers (Q4236059) (← links)
- (Q4417837) (← links)
- Decidability of the Clark's completion semantics for monadic programs and queries (Q4592984) (← links)
- (Q4783300) (← links)
- On the complexity of index sets for finite predicate logic programs which allow function symbols (Q5108018) (← links)
- The accepting power of unary string logic programs (Q5958753) (← links)