Pages that link to "Item:Q5488612"
From MaRDI portal
The following pages link to Linearity Constraints as Bounded Intervals in Linear Logic Programming (Q5488612):
Displaying 4 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Isolating resource consumption in linear logic proof search (extended abstract) (Q2844805) (← links)
- Improving IntSat by expressing disjunctions of bounds as linear constraints (Q4589125) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705947) (← links)