Suchergebnisse - "computational theory over a structure"
-
1
Autoren: Solov'ev, V. D.
Schlagwörter: computational theory over a structure, abstract structures, automorphisms, Theory of computing, completeness criterion, abstract computability, algebraic properties, algebra of recursive functions and predicates, Abstract and axiomatic computability and recursion theory
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/23020
Nájsť tento článok vo Web of Science