Janos Tapolczai

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Deductive Reasoning

Asynchronous Circuits

Top Venues

Publications

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. IJCAR (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. CoRR (2014)