activity
20052026
most citedThe Epsilon Calculus and Herbrand Complexity

33 citations · 206 across the 29 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LO2017

Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis

Guillaume Bonfante, Georg Moser

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for compl…