Publications

Export 1 results:
Filters: Author is Fermüller, Christian  [Clear All Filters]
2010
McKinley, R.: Expansion nets: Proof nets for for propositional classical logic. In: Fermüller, C. and Voronkov, A. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17). pp. 535-549. Springer Berlin / Heidelberg (2010).