Travelled to:
1 × Austria
Collaborated with:
S.Hetzl A.Leitsch G.Reis D.Weller
Talks about:
quantifi (1) introduc (1) logic (1) equal (1) cut (1)
Person: Janos Tapolczai
DBLP: Tapolczai:Janos
Contributed to:
Wrote 1 papers:
- IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
- Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.