Results 281 to 290 of about 7,198 (311)

Automatic decidability

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

Decidability of opacity verification problems in labeled Petri net systems

Automatica, 2017
Yin Tong, Zhiwu Li, Carla Seatzu
exaly  

Deciding to Decide

2017
openaire   +1 more source

Some decidability results about regular and pushdown translations

Information Processing Letters, 1979
K Culik
exaly  

Frontier between decidability and undecidability: a survey

Theoretical Computer Science, 2000
Maurice Margenstern
exaly  

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

2001
openaire   +1 more source

Decidability questions related to abstract numeration systems

Discrete Mathematics, 2004
Juha Honkala, Michel Rigo
exaly  

The limits of decidability in fuzzy description logics with general concept inclusions

Artificial Intelligence, 2015
Stefan Borgwardt, Felix Distel, Rafael Penaloza   +2 more
exaly  

Decidability of order-based modal logics

Journal of Computer and System Sciences, 2017
George Metcalfe, Ricardo OSCAR Rodríguez   +1 more
exaly  

Non-uniform cellular automata: Classes, dynamics, and decidability

Information and Computation, 2012
Alberto Dennunzio, Enrico Formenti
exaly