scientific article; zbMATH DE number 3532507
From MaRDI portal
Publication:4109270
zbMath0341.68015MaRDI QIDQ4109270
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Many-valued logic (03B50) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Algorithms in computer science (68W99)
Related Items
Program-substitution and admissibility of rules in algorithmic logic ⋮ Contribution of Warsaw logicians to computational logic ⋮ Algorithmic logic. Multiple-valued extensions ⋮ Programs and logics
