Original language | Unknown |
---|---|
Title of host publication | Electronic Proceedings in Theoretical Computer Science |
Pages | 44-56 |
DOIs | |
Publication status | Published - 1 Jan 2011 |
Event | Classical Logic and Computation - Duration: 1 Jan 2010 → … |
Conference
Conference | Classical Logic and Computation |
---|---|
Period | 1/01/10 → … |