Results 271 to 280 of about 10,140 (309)

Not to decide is to decide

American Journal of Obstetrics and Gynecology, 1993
openaire   +2 more sources

Decidability of Lattice Equations

Studia Logica, 2023
Nikolaos Galatos
exaly  

Deciding How to Help Patients Decide

The Annals of Thoracic Surgery, 2023
openaire   +2 more sources

You Decide Who Decides …

Healthcare Quarterly, 2002
openaire   +2 more sources

Automatic decidability

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2003
Christopher Lynch, Barbara Morawska 0001
openaire   +2 more sources

Soundness of workflow nets: classification, decidability, and analysis

Formal Aspects of Computing, 2011
Wil van der Aalst, M Voorhoeve, H M W Verbeek   +2 more
exaly  

A short proof of the decidability of bisimulation for normed bpa-processes

Information Processing Letters, 1992
Jan Friso Groote
exaly  

Decidability of opacity verification problems in labeled Petri net systems

Automatica, 2017
Alessandro Giua, Zhiwu Li, Yin Tong
exaly  

Some decidability results about regular and pushdown translations

Information Processing Letters, 1979
K Culik
exaly  

Deciding to Decide

2017
openaire   +1 more source