Results 331 to 337 of about 47,932 (337)

Deciding to Stay, Deciding to Move, Deciding Not to Decide

2010
openaire   +1 more source

Soundness of workflow nets: classification, decidability, and analysis

Formal Aspects of Computing, 2011
exaly  

Decidability and Combination Results for Two Notions of Knowledge in Security Protocols

Journal of Automated Reasoning, 2012
exaly  

Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains

IEEE Transactions on Dependable and Secure Computing, 2016
exaly  

TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES

Journal of Symbolic Logic, 2018
exaly  

Who will decide?

Journal of Religion & Health, 1968
openaire   +3 more sources

7 / Deciding to Stay, Deciding to Move Deciding Not to Decide

2001
openaire   +1 more source