The following pages link to (Q3146903):
Displaying 16 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802) (← links)
- On finite and infinite fork algebras and their relational reducts (Q2735812) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- (Q4250071) (← links)
- (Q4381704) (← links)
- Representability and program construction within fork algebras (Q4383701) (← links)
- (Q4870570) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)