The following pages link to (Q5586318):
Displayed 7 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- Algorithmic logic. Multiple-valued extensions (Q1155047) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
- Beitrag zur algebraischen Rekursionstheorie (Q3919695) (← links)