|
|||||
|
|
A Uniform Proof-theoretic Investigation of Linear Logic Programming |
|
| Authors: | PYM, DAVID J. HARLAND, JAMES A. |
| Affiliation: | University of Birmingham, School of Computer Science Edgbaston, Birmingham B15 2TT, UK School of Information Technology and Electrical Engineering, Department of Computer Science, The University of Melbourne Parkville, Victoria 3052, Australia |
| Abstract: | |
| Keywords: | Linear logic logic programming proof theory uniform proofs |
| 本文献已被 Oxford 等数据库收录！ | |