Results 321 to 330 of about 471,067 (339)

Decidability of General Extensional Mereology

Studia Logica: An International Journal for Symbolic Logic, 2013
Hsing-chien Tsai
semanticscholar   +1 more source

MSO Decidability of Multi-Pushdown Systems via Split-Width

International Conference on Concurrency Theory, 2012
Aiswarya Cyriac, P. Gastin, K. N. Kumar
semanticscholar   +1 more source

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems

International Conference on Rewriting Techniques and Applications, 2012
N. Bertrand, G. Delzanno, B. König, Arnaud Sangnier, Jan Stückrath   +4 more
semanticscholar   +1 more source

Decidability of DPDA Language Equivalence via First-Order Grammars

2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012
P. Jančar
semanticscholar   +1 more source

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

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

2010
openaire   +1 more source

Decidability

1995
openaire   +1 more source

Deciding

Business Law Review, 1984
openaire   +1 more source

Decidability

2004
Zhou Chaochen, Michael R. Hansen
openaire   +1 more source