Pages that link to "Item:Q2311521"
From MaRDI portal
The following pages link to On algebras of algorithms and specifications over uninterpreted data (Q2311521):
Displaying 10 items.
- Algorithmic data structure algebras and multilevel program design (Q1087007) (← links)
- Proving properties of programs on hierarchical nominative data (Q1650373) (← links)
- On a categorical approach to the study of algorithmic algebras (Q1895010) (← links)
- Partial correctness of a Fibonacci algorithm (Q2113835) (← links)
- On an algorithmic algebra over simple-named complex-valued nominative data (Q2311522) (← links)
- Partial correctness of a factorial algorithm (Q2337337) (← links)
- Partial correctness of a power algorithm (Q2337338) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465863) (← links)
- General theory and tools for proving algorithms in nominative data systems (Q6592314) (← links)
- Partial correctness of an algorithm computing Lucas sequences (Q6592315) (← links)