Results 251 to 258 of about 39,716 (258)
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
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing, 2011exaly
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
Journal of Automated Reasoning, 2012exaly
Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains
IEEE Transactions on Dependable and Secure Computing, 2016exaly
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES
Journal of Symbolic Logic, 2018exaly