Results 351 to 360 of about 491,607 (366)
Some of the next articles are maybe not open access.
Decidability and Enumeration for Automatic Sequences: A Survey
Computer Science Symposium in Russia, 2013J. Shallit
semanticscholar +1 more source
On the decidability of implicational ticket entailment
Journal of Symbolic Logic (JSL), 2013K. Bimbó, And .1. Michael Dunn
semanticscholar +1 more source
Decidability of General Extensional Mereology
Studia Logica: An International Journal for Symbolic Logic, 2013Hsing-chien Tsai
semanticscholar +1 more source
MSO Decidability of Multi-Pushdown Systems via Split-Width
International Conference on Concurrency Theory, 2012Aiswarya 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, 2012N. Bertrand +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, 2012P. Jančar
semanticscholar +1 more source

