scientific article; zbMATH DE number 6131600
From MaRDI portal
Publication:4904149
zbMath1257.68100MaRDI QIDQ4904149
Margus Veanes, Nikolaj Bjørner
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Equivalence of Finite-Valued Symbolic Finite Transducers ⋮ Forward and backward application of symbolic tree transducers ⋮ Symbolic tree automata
Uses Software
This page was built for publication:
