The Complexity of Resource-Bounded First-Order Classical Logic (0)

by J Goubault
Venue:Lecture Notes In Computer Science, Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science