Roland C. Backhouse

Available identifiers

zbMath Open backhouse.roland-cWikidataQ7360185 ScholiaQ7360185MaRDI QIDQ1330442

List of research outcomes

Publication	Date of Publication	Type
On difunctions	2023-08-08	Paper
Categorical fixed point calculus	2022-12-16	Paper
Components and acyclicity of graphs. An exercise in combining precision with concision	2021-11-24	Paper
An analysis of repeated graph search	2020-05-05	Paper
Factor theory and the unity of opposites	2016-12-15	Paper
Pair algebras and Galois connections.	2016-06-09	Paper
First-Past-the-Post Games	2012-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q3093932	2011-10-19	Paper
On Euclid's algorithm and elementary number theory	2011-02-21	Paper
The Algorithmics of Solitaire-Like Games	2010-07-26	Paper
Generic Programming	2010-03-09	Paper
Datatype-generic termination proofs	2009-05-08	Paper
Exercises in Quantifier Manipulation	2009-04-02	Paper
The Capacity-C Torch Problem	2008-08-28	Paper
Recounting the Rationals: Twice!	2008-08-28	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Regular algebra applied to language problems	2006-03-16	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Safety of abstract interpretations for free, via logical relations and Galois connections	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808686	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738112	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738114	2004-08-11	Paper
The associativity of equivalence and the Towers of Hanoi problem	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2763668	2002-01-21	Paper
Final Dialgebras: From Categories to Allegories	2000-05-11	Paper
A calculational approach to mathematical induction	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4362972	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4362885	1997-11-13	Paper
Reductivity	1996-09-11	Paper
Demonic operators and monotype factors	1994-10-19	Paper
Calculating path algorithms	1994-07-21	Paper
Relational programming laws in the tree, list, bag, set hierarchy	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4281661	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3993054	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3971279	1992-06-25	Paper
Do-it-yourself type theory	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4730750	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3823123	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3823124	1988-01-01	Paper
A While-rule in Martin-Lof's Theory of Types	1987-01-01	Paper
Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667930	1983-01-01	Paper
An alternative implementation of an insertion-only recovery technique	1982-01-01	Paper
A comparison of gaussian and gauss-jordan elimination in regular algebra	1982-01-01	Paper
Locally Least-Cost Error Recovery in Earley's Algorithm	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3862436	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124349	1977-01-01	Paper
An alternative approach to the improvement of LR(k) parsers	1976-01-01	Paper
Regular Algebra Applied to Path-finding Problems	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roland C. Backhouse