Results 321 to 330 of about 47,932 (337)
Some of the next articles are maybe not open access.
Decidability of the Clark's completion semantics for monadic programs and queries
Theory and Practice of Logic Programming, 2015exaly
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science, 2003exaly