Results 351 to 360 of about 494,097 (364)
Some of the next articles are maybe not open access.
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

