"Deduction, Induction, and beyond in Parametric Logic."

Eric Martin, Arun Sharma, Frank Stephan (2007)

Details and statistics

DOI: 10.1007/978-1-4020-6127-1_3

access: closed

type: Part in Book or Collection

metadata version: 2020-04-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics