The following pages link to (Q4381704):
Displaying 16 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← 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)
- (Q3146903) (← links)
- Fork algebraic datatypes (Q4210766) (← links)
- (Q4250071) (← links)
- A Finite Axiomatization for Fork Algebras (Q4340535) (← links)
- Representability and program construction within fork algebras (Q4383701) (← links)
- (Q4870570) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
