scientific article
From MaRDI portal
Publication:3804707
zbMath0657.03049MaRDI QIDQ3804707
Benjamin Benninghofen, Michael M. Richter
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nonstandard models in mathematics (03H05)
This page was built for publication: