A decision procedure revisited : notes on direct logic, linear logic and its implementation
Bookmark
ShareCopied to clipboardA decision procedure revisited : notes on direct logic, linear logic and its implementation is a book. It was written by Gianluigi Bellin and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1991.
Key facts
- author: Gianluigi Bellin
- publication date: 1991
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Artificial intelligence, Proof theory
See more factsExtract data
Download datasets about A decision procedure revisited : notes on direct logic, linear logic and its implementation:
Dataset of books series that contain A decision procedure revisited : notes on direct logic, linear logic and its implementation:
Dataset of book subjects that contain A decision procedure revisited : notes on direct logic, linear logic and its implementation:
"A decision procedure revisited : notes on direct logic, linear logic and its implementation" is one of the books by Gianluigi Bellin, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
Related
Connected or similar to A decision procedure revisited : notes on direct logic, linear logic and its implementation: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.