Confluence Competition 2015

Automated Deduction - CADE-25 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21401-6_5 ◽

2015 ◽

pp. 101-104 ◽

Cited By ~ 6

Author(s):

Takahito Aoto ◽

Nao Hirokawa ◽

Julian Nagele ◽

Naoki Nishida ◽

Harald Zankl

Download Full-text