Results 291 to 300 of about 10,140 (309)

Number-conserving cellular automata I: decidability

Theoretical Computer Science, 2003
Enrico Formenti, Zsuzsanna Roka, Bruno Durand   +2 more
exaly  

Decidability of an Xstit Logic

Studia Logica, 2013
Gillman Payette
exaly  

Decidability of the Star Problem in

Information Processing Letters, 1992
Antoine Petit, Edward Ochmanski, Brigitte Rozoy   +2 more
exaly  

Decidability of order-based modal logics

Journal of Computer and System Sciences, 2017
George Metcalfe
exaly  

Deciding for death, deciding for life

American Journal of Alzheimer's Care and Related Disorders & Research, 1988
openaire   +1 more source

Sequent calculi and decidability for intuitionistic hybrid logic

Information and Computation, 2011
Yakoub Salhi, Didier Galmiche
exaly  

On rules with existential variables: Walking the decidability line

Artificial Intelligence, 2011
Marie-Laure Mugnier, Michel Leclere, Jean-François Baget   +2 more
exaly  

Deciding to Lead

Journal of the American College of Radiology, 2008
openaire   +2 more sources

Deciding with the elderly

Geriatric Nursing, 1981
openaire   +2 more sources

Group-theoretic orbit decidability

Groups, Complexity, Cryptology, 2014
exaly