Results 161 to 163 of about 1,479 (163)
Some of the next articles are maybe not open access.

On pushdown tree automata

1981
openaire   +1 more source

Inference of tree automata from sample set of trees

International Journal of Computer & Information Sciences, 1984
exaly  

Verifying Quantum Circuits with Level-Synchronized Tree Automata

Parosh Aziz Abdulla   +2 more
exaly  
mathematics
computer science - logic in computer science
f.1.1
f.4.3
f.4.1
previous   15  16  17  

Home - About - Disclaimer - Privacy