McKinley, Richard (2010). Expansion nets: Proof nets for propositional classical logic. In: Fermüller, Christian; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 6397 (pp. 535-549). Heidelberg: Springer Verlag 10.1007/978-3-642-16242-8
Full text not available from this repository.Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
McKinley, Richard |
Publisher: |
Springer Verlag |
Language: |
English |
Submitter: |
Factscience Import |
Date Deposited: |
04 Oct 2013 14:17 |
Last Modified: |
05 Dec 2022 14:04 |
Publisher DOI: |
10.1007/978-3-642-16242-8 |
Web of Science ID: |
000288062700038 |
URI: |
https://boris.unibe.ch/id/eprint/4981 (FactScience: 209645) |
Actions (login required)
 |
Edit item |