The following pages link to Roland C. Backhouse (Q1330442):
Displaying 50 items.
- (Q293349) (redirect page) (← links)
- Pair algebras and Galois connections. (Q293350) (← links)
- On Euclid's algorithm and elementary number theory (Q627201) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- (Q1168752) (redirect page) (← links)
- An alternative implementation of an insertion-only recovery technique (Q1168753) (← links)
- An alternative approach to the improvement of LR(k) parsers (Q1238428) (← links)
- Calculating path algorithms (Q1330443) (← links)
- Relational programming laws in the tree, list, bag, set hierarchy (Q1330449) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- The associativity of equivalence and the Towers of Hanoi problem (Q1607084) (← links)
- Safety of abstract interpretations for free, via logical relations and Galois connections (Q1881270) (← links)
- Reductivity (Q1916366) (← links)
- An analysis of repeated graph search (Q2176684) (← links)
- Factor theory and the unity of opposites (Q2374299) (← links)
- Components and acyclicity of graphs. An exercise in combining precision with concision (Q2667191) (← links)
- (Q2763668) (← links)
- First-Past-the-Post Games (Q2908565) (← links)
- (Q3093932) (← links)
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery (Q3321438) (← links)
- The Capacity-C Torch Problem (Q3521980) (← links)
- Recounting the Rationals: Twice! (Q3521981) (← links)
- The Algorithmics of Solitaire-Like Games (Q3575261) (← links)
- Exercises in Quantifier Manipulation (Q3618815) (← links)
- (Q3667930) (← links)
- A While-rule in Martin-Lof's Theory of Types (Q3778750) (← links)
- (Q3823123) (← links)
- (Q3823124) (← links)
- (Q3862436) (← links)
- Locally Least-Cost Error Recovery in Earley's Algorithm (Q3910028) (← links)
- A comparison of gaussian and gauss-jordan elimination in regular algebra (Q3954729) (← links)
- On induced congruences (Q3971279) (← links)
- (Q3993054) (← links)
- Regular Algebra Applied to Path-finding Problems (Q4060428) (← links)
- (Q4124349) (← links)
- (Q4281661) (← links)
- Demonic operators and monotype factors (Q4286527) (← links)
- (Q4362885) (← links)
- (Q4362972) (← links)
- (Q4730750) (← links)
- (Q4738112) (← links)
- (Q4738114) (← links)
- (Q4808686) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Categorical fixed point calculus (Q5057473) (← links)
- Generic Programming (Q5187878) (← links)
- Algebraic Methodology and Software Technology (Q5312970) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712441) (← links)
