scientific article
From MaRDI portal
Publication:4072828
zbMath0313.68022MaRDI QIDQ4072828
Andrzej Blikle, Antoni Mazurkiewicz
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Algorithms in computer science (68W99)
Related Items (3)
Unnamed Item ⋮ Algorithmic logic. Multiple-valued extensions ⋮ DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
This page was built for publication:
