Janos Tapolczai

According to our database, Janos Tapolczai authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014