5 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Natasha Alechina, Brian Logan
Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption…