Janos Tapolczai

Identifiers

• name variant Janos Tapolczai 0.60 · backfill

Papers (1)

1. Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #4

Mentions

• 1402.2474 #4 · backfill · confidence 0.70 Janos Tapolczai

Frequent Coauthors

• Alexander Leitsch 1 shared papers
• Daniel Weller 1 shared papers
• Giselle Reis 1 shared papers
• Stefan Hetzl 1 shared papers