scientific article; zbMATH DE number 1028829
From MaRDI portal
Publication:4342092
zbMath0875.03080MaRDI QIDQ4342092
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03Dxx)
Related Items
On stochastic Einstein locality in algebraic relativistic quantum field theory, Process algebra with guards: Combining hoare logic with process algebra, Awareness and partitional information structures, Functoriality and grammatical role in syllogisms, Preferences in artificial intelligence, Simplifying proofs in Fitch-style natural deduction systems, Sequent-systems and groupoid models. I, Sequent-systems and groupoid models. II
