scientific article
From MaRDI portal
Publication:3222193
zbMath0557.03044MaRDI QIDQ3222193
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalencefinite axiomatizationpropositional dynamic logicalgorithmic algebrastransformations of finite automata
Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) Many-valued logic (03B50)
This page was built for publication:
