- Coverability in a NonFunctional Extension of BVASS Paulin Jacobé De Naurois Fri 02 June 2017
- Implicational Relevance Logic is 2-ExpTime-Complete Sylvain Schmitz Thu 25 September 2014
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
