The following pages link to (Q2763695):
Displaying 5 items.
- An effective fixpoint semantics for linear logic programs (Q4452612) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- On the Relations between Disjunctive and Linear Logic Programming (Q4923519) (← links)
- (Q5446288) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)