scientific article; zbMATH DE number 1222108
From MaRDI portal
Publication:4217604
zbMath0914.68117MaRDI QIDQ4217604
Klaus Reinhardt, Klaus-Joern Lange
Publication date: 21 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A finite state intersection approach to propositional satisfiability ⋮ Decidability of code properties ⋮ On computational complexity of set automata ⋮ On the decidability of finding a positive ILP-instance in a regular set of ILP-instances ⋮ Automata equipped with auxiliary data structures and regular realizability problems
This page was built for publication: