Bounded Linear Logic: A Modular Approach to Polynomial Time Computability
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Complexity-theoretic algebra II: Boolean algebrasAnnals of Pure and Applied Logic, 1989
1 2 -logic , Part 1: DilatorsAnnals of Mathematical Logic, 1981- Combinatorial FunctorsPublished by Springer Nature ,1974