The following pages link to (Q3355243):
Displaying 9 items.
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- (Q3731021) (← links)
- Clausal intuitionistic logic I. fixed-point semantics (Q3787973) (← links)
- (Q4222785) (← links)
- (Q4668540) (← links)
- (Q4732449) (← links)
- From process logic to program logic (Q5178034) (← links)