scientific article
From MaRDI portal
Publication:3337524
zbMath0546.08004MaRDI QIDQ3337524
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial algebrasabstract data typestructural inductiontotal algebraselementary implicationspartial recursive fundamental operations
Automata and formal grammars in connection with logical questions (03D05) Data structures (68P05) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55)
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing, On the existence of free models in abstract algebraic institutions
