Metcalfe, George (2012). Admissible Rules: From Characterizations to Applications. In: Ong, Luke; de Queiroz, Ruy (eds.) Logic, Language, Information and Computation. 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Lecture Notes in Computer Science: Vol. 7456 (pp. 56-69). Heidelberg: Springer Verlag 10.1007/978-3-642-32621-9_4
Text
978-3-642-32621-9_4.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (231kB) |
Item Type: |
Book Section (Book Chapter) |
---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Metcalfe, George |
Series: |
Lecture Notes in Computer Science |
Publisher: |
Springer Verlag |
Language: |
English |
Submitter: |
Factscience Import |
Date Deposited: |
04 Oct 2013 14:41 |
Last Modified: |
23 May 2023 14:20 |
Publisher DOI: |
10.1007/978-3-642-32621-9_4 |
BORIS DOI: |
10.48350/17007 |
URI: |
https://boris.unibe.ch/id/eprint/17007 (FactScience: 224723) |