Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints

Carles Creus, Adria Gascón, Guillem Godoy

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints'. Together they form a unique fingerprint.

Computer Science