Login / Signup
Michael Kaminski
ORCID
Publication Activity (10 Years)
Years Active: 1981-2023
Publications (10 Years): 14
Top Topics
Truth Values
Propositional Logic
Automata Theoretic
Proof Procedure
Top Venues
Logica Universalis
Stud Logica
CoRR
IEEE Trans. Inf. Theory
</>
Publications
</>