Login / Signup
On conditions of full coherence in biclosed categories: a new application of proof theory.
A. A. Babaev
Sergei Soloviev
Published in:
Conference on Computer Logic (1988)
Keyphrases
</>
proof theory
sufficient conditions
automated reasoning
optimal solution
lower bound