Results 271 to 280 of about 26,068 (292)

Sequent calculi and decidability for intuitionistic hybrid logic

Information and Computation, 2011
Yakoub Salhi
exaly  

Number-conserving cellular automata I: decidability

Theoretical Computer Science, 2003
Enrico Formenti, Zsuzsanna Roka
exaly  

Some decidability results about regular and pushdown translations

Information Processing Letters, 1979
exaly  

Frontier between decidability and undecidability: a survey

Theoretical Computer Science, 2000
exaly  

Decide

2020
Michael Jantzer, Godehard Nentwig, Christine Deininger, Thomas Michl   +3 more
openaire   +1 more source

Decidability, undecidability and partial decidability

1980
openaire   +1 more source

Decidability of an Xstit Logic

Studia Logica, 2013
exaly  

Approximate decidability in euclidean spaces

Mathematical Logic Quarterly, 2003
exaly  

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

2010
openaire   +1 more source

Decidability

1995
openaire   +1 more source