Pages that link to "Item:Q1822923"
From MaRDI portal
The following pages link to Formal derivation of a pattern matching algorithm (Q1822923):
Displaying 7 items.
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- A fast pattern matching algorithm derived by transformational and assertional reasoning (Q911750) (← links)
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- List partitions (Q2366166) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)
- Proof of Correctness of a Direct Construction of DFA from Regular Expression (Q4384033) (← links)
