Login / Signup
Wojciech Dzik
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 10
Top Topics
Inference Rules
Knuth Bendix
Theorem Prover
Modal Logic
Top Venues
Log. J. IGPL
CoRR
Ann. Pure Appl. Log.
Int. J. Approx. Reason.
</>
Publications
</>