scientific article
From MaRDI portal
Publication:4035346
zbMath0766.68097MaRDI QIDQ4035346
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Infinity problems and countability problems for \(\omega \)-automata, Speeding up inferences using relevance reasoning: a formalism and algorithms, On the equivalence of recursive and nonrecursive Datalog programs, Attribute grammars for unranked trees as a query language for structured documents, Query automata over finite trees
