scientific article; zbMATH DE number 7362725
From MaRDI portal
Publication:4995361
zbMath1464.68175MaRDI QIDQ4995361
Publication date: 24 June 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2014.10
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Delay Games with WMSO$$+$$U Winning Conditions ⋮ Synthesis of deterministic top-down tree transducers from automatic tree relations
This page was built for publication:
