GUBS Upper Bound Solver

GUBS Upper Bound Solver
M. Avanzini and M. Schaper
Proceedings of the 17th International Workshop on Developments in Implicit Complexity, 2017.

Abstract

This paper outlines our tool GUBS.

Categories

Constraint Systems, Complexity Analysis, Automation