publication venue for
- APPROXIMABILITY IN THE GPAC. 15. 2019
- Lazy Evaluation and Delimited Control. Volume 6, Issue 3. 2010
- On tractability and congruence distributivity. Volume 3, Issue 2. 2007
Logical Methods in Computer Science
Journal
- Overview
- Identity
- View All