Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roland Carl Backhouse
@article{DBLP:journals/corr/abs-2401-16888,
author = {Ed Voermans and
Jules Desharnais and
Roland Carl Backhouse},
title = {The Thins Ordering on Relations},
journal = {CoRR},
volume = {abs/2401.16888},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16888},
doi = {10.48550/ARXIV.2401.16888},
eprinttype = {arXiv},
eprint = {2401.16888},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17130,
author = {Roland Carl Backhouse and
Ed Voermans},
title = {Diagonals and Block-Ordered Relations},
journal = {CoRR},
volume = {abs/2401.17130},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17130},
doi = {10.48550/ARXIV.2401.17130},
eprinttype = {arXiv},
eprint = {2401.17130},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BackhouseO23,
author = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {On difunctions},
journal = {J. Log. Algebraic Methods Program.},
volume = {134},
pages = {100878},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100878},
doi = {10.1016/J.JLAMP.2023.100878},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BackhouseO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02017,
author = {Roland Carl Backhouse and
Ed Voermans},
title = {The Index and Core of a Relation. With Applications to the Axiomatics
of Relation Algebra},
journal = {CoRR},
volume = {abs/2309.02017},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.02017},
doi = {10.48550/ARXIV.2309.02017},
eprinttype = {arXiv},
eprint = {2309.02017},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BackhouseDGW22,
author = {Roland Carl Backhouse and
Henk Doornbos and
Roland Gl{\"{u}}ck and
Jaap van der Woude},
title = {Components and acyclicity of graphs. An exercise in combining precision
with concision},
journal = {J. Log. Algebraic Methods Program.},
volume = {124},
pages = {100730},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100730},
doi = {10.1016/J.JLAMP.2021.100730},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BackhouseDGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse19,
author = {Roland Carl Backhouse},
editor = {Graham Hutton},
title = {An Analysis of Repeated Graph Search},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {298--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_11},
doi = {10.1007/978-3-030-33636-3\_11},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Backhouse16,
author = {Roland Carl Backhouse},
title = {Factor theory and the unity of opposites},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {824--846},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.01.003},
doi = {10.1016/J.JLAMP.2016.01.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Backhouse16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackhouseT15,
author = {Roland Carl Backhouse and
Hai Truong},
title = {The capacity-C torch problem},
journal = {Sci. Comput. Program.},
volume = {102},
pages = {76--107},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.01.003},
doi = {10.1016/J.SCICO.2015.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackhouseT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BackhouseF15,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
title = {On Euclid's Algorithm and Elementary Number Theory},
journal = {CoRR},
volume = {abs/1506.05981},
year = {2015},
url = {http://arxiv.org/abs/1506.05981},
eprinttype = {arXiv},
eprint = {1506.05981},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BackhouseF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Backhouse14,
author = {Roland Carl Backhouse},
title = {First-past-the-post games},
journal = {Sci. Comput. Program.},
volume = {85},
pages = {166--203},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.07.007},
doi = {10.1016/J.SCICO.2013.07.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Backhouse14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tabletop/MendesBF14,
author = {Alexandra Mendes and
Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
editor = {Raimund Dachselt and
T. C. Nicholas Graham and
Kasper Hornb{\ae}k and
Miguel A. Nacenta},
title = {Structure Editing of Handwritten Mathematics: Improving the Computer
Support for the Calculational Method},
booktitle = {Proceedings of the Ninth {ACM} International Conference on Interactive
Tabletops and Surfaces, {ITS} 2014, Dresden, Germany, November 16
- 19, 2014},
pages = {139--148},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2669485.2669495},
doi = {10.1145/2669485.2669495},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tabletop/MendesBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Backhouse0F13,
author = {Roland Carl Backhouse and
Wei Chen and
Jo{\~{a}}o F. Ferreira},
title = {The algorithmics of solitaire-like games},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2029--2046},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.007},
doi = {10.1016/J.SCICO.2012.07.007},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Backhouse0F13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse12,
author = {Roland Carl Backhouse},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {First-Past-the-Post Games},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {157--176},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_9},
doi = {10.1007/978-3-642-31113-0\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackhouseF11,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
title = {On Euclid's algorithm and elementary number theory},
journal = {Sci. Comput. Program.},
volume = {76},
number = {3},
pages = {160--180},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.05.006},
doi = {10.1016/J.SCICO.2010.05.006},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BackhouseF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseCF10,
author = {Roland Carl Backhouse and
Wei Chen and
Jo{\~{a}}o F. Ferreira},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {The Algorithmics of Solitaire-Like Games},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_1},
doi = {10.1007/978-3-642-13321-3\_1},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BackhouseBH09,
author = {Roland Carl Backhouse and
Richard S. Bird and
Paul F. Hoogendijk},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Meeting a fanclub: a lattice of generic shape selectors},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {73--84},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596625},
doi = {10.1145/1596614.1596625},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BackhouseBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/FerreiraMBB09,
author = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Roland Carl Backhouse and
Lu{\'{\i}}s Soares Barbosa},
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {Which Mathematics for the Information Society?},
booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
pages = {39--56},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5\_4},
doi = {10.1007/978-3-642-04912-5\_4},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/FerreiraMBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BackhouseD08,
author = {Roland Carl Backhouse and
Henk Doornbos},
title = {Datatype-Generic Termination Proofs},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {362--393},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9056-z},
doi = {10.1007/S00224-007-9056-Z},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BackhouseD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse08,
author = {Roland Carl Backhouse},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The Capacity-CTorch Problem},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {57--78},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_5},
doi = {10.1007/978-3-540-70594-9\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseF08,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Recounting the Rationals: Twice!},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {79--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_6},
doi = {10.1007/978-3-540-70594-9\_6},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssdgp/2006,
editor = {Roland Carl Backhouse and
Jeremy Gibbons and
Ralf Hinze and
Johan Jeuring},
title = {Datatype-Generic Programming - International Spring School, {SSDGP}
2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {4719},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76786-2},
doi = {10.1007/978-3-540-76786-2},
isbn = {978-3-540-76785-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssdgp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Backhouse06,
author = {Roland Carl Backhouse},
title = {Regular algebra applied to language problems},
journal = {J. Log. Algebraic Methods Program.},
volume = {66},
number = {2},
pages = {71--111},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.04.008},
doi = {10.1016/J.JLAP.2005.04.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Backhouse06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Backhouse06,
author = {Roland Carl Backhouse},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Datatype-Generic Reasoning},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {21--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_3},
doi = {10.1007/11780342\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Backhouse06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RypacekBN06,
author = {Ondrej Rypacek and
Roland Carl Backhouse and
Henrik Nilsson},
editor = {Ralf Hinze},
title = {Type-theoretic design patterns},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {13--22},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159864},
doi = {10.1145/1159861.1159864},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/RypacekBN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseM06,
author = {Roland Carl Backhouse and
Diethard Michaelis},
editor = {Tarmo Uustalu},
title = {Exercises in Quantifier Manipulation},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {69--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_7},
doi = {10.1007/11783596\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackhouseB04,
author = {Kevin Backhouse and
Roland Carl Backhouse},
title = {Safety of abstract interpretations for free, via logical relations
and Galois connections},
journal = {Sci. Comput. Program.},
volume = {51},
number = {1-2},
pages = {153--196},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2003.06.002},
doi = {10.1016/J.SCICO.2003.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackhouseB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Backhouse04,
author = {Roland Carl Backhouse},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Algebraic Approaches to Problem Generalisation},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {1--2},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_1},
doi = {10.1007/978-3-540-27815-3\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Backhouse04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BackhouseM03,
author = {Roland Carl Backhouse and
Diethard Michaelis},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Fixed-Point Characterisation of Winning Strategies in Impartial Games},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {34--47},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_4},
doi = {10.1007/978-3-540-24771-5\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BackhouseM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BackhouseH03,
author = {Roland Carl Backhouse and
Paul F. Hoogendijk},
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {Generic Properties of Datatypes},
booktitle = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
pages = {97--132},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45191-4\_3},
doi = {10.1007/978-3-540-45191-4\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BackhouseH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003gp,
editor = {Roland Carl Backhouse and
Jeremy Gibbons},
title = {Generic Programming - Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2793},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b12027},
doi = {10.1007/B12027},
isbn = {3-540-20194-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/2003gp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseB02,
author = {Kevin Backhouse and
Roland Carl Backhouse},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Logical Relations and Galois Connections},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {23--39},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_4},
doi = {10.1007/3-540-45442-X\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acmmpc/2000,
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction,
International Summer School and Workshop, Oxford, UK, April 10-14,
2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2297},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47797-7},
doi = {10.1007/3-540-47797-7},
isbn = {3-540-43613-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmmpc/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BackhouseF01,
author = {Roland Carl Backhouse and
Maarten M. Fokkinga},
title = {The associativity of equivalence and the Towers of Hanoi problem},
journal = {Inf. Process. Lett.},
volume = {77},
number = {2-4},
pages = {71--76},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(00)00205-2},
doi = {10.1016/S0020-0190(00)00205-2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BackhouseF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Backhouse01,
author = {Roland Carl Backhouse},
editor = {David Sands},
title = {Fusion on Languages},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {107--121},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_8},
doi = {10.1007/3-540-45309-1\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Backhouse01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmmpc/Backhouse00,
author = {Roland Carl Backhouse},
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Galois Connections and Fixed Point Calculus},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction,
International Summer School and Workshop, Oxford, UK, April 10-14,
2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2297},
pages = {89--148},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-47797-7\_4},
doi = {10.1007/3-540-47797-7\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/acmmpc/Backhouse00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmmpc/DoornbosB00,
author = {Henk Doornbos and
Roland Carl Backhouse},
editor = {Roland Carl Backhouse and
Roy L. Crole and
Jeremy Gibbons},
title = {Algebra of Program Termination},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction,
International Summer School and Workshop, Oxford, UK, April 10-14,
2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2297},
pages = {203--236},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-47797-7\_6},
doi = {10.1007/3-540-47797-7\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acmmpc/DoornbosB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2000,
editor = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {Mathematics of Program Construction, 5th International Conference,
{MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1837},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722010},
doi = {10.1007/10722010},
isbn = {3-540-67727-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BackhouseH99,
author = {Roland Carl Backhouse and
Paul F. Hoogendijk},
title = {Final dialgebras: From categories to allegories},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {33},
number = {4/5},
pages = {401--426},
year = {1999},
url = {https://doi.org/10.1051/ita:1999126},
doi = {10.1051/ITA:1999126},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BackhouseH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VerhoevenB99,
author = {Richard Verhoeven and
Roland Carl Backhouse},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Interfacing Program Construction and Verification},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1128--1146},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_10},
doi = {10.1007/3-540-48118-4\_10},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/VerhoevenB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Backhouse98,
author = {Roland Carl Backhouse},
title = {Pair Algebras and Galois Connections},
journal = {Inf. Process. Lett.},
volume = {67},
number = {4},
pages = {169--175},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00107-0},
doi = {10.1016/S0020-0190(98)00107-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Backhouse98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Backhouse98,
author = {Roland Carl Backhouse},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Pair algebras and Galois connections},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {8--12},
year = {1998},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Backhouse98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/BackhouseJJM98,
author = {Roland Carl Backhouse and
Patrik Jansson and
Johan Jeuring and
Lambert G. L. T. Meertens},
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Generic Programming: An Introduction},
booktitle = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
pages = {28--115},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10704973\_2},
doi = {10.1007/10704973\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/BackhouseJJM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/VaccariB98,
author = {Matteo Vaccari and
Roland Carl Backhouse},
editor = {Johan Jeuring},
title = {Calculating a Round-Robin Scheduler},
booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
15-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {365--382},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054299},
doi = {10.1007/BFB0054299},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/VaccariB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackhouseVW97,
author = {Roland Carl Backhouse and
Richard Verhoeven and
Olaf Weber},
title = {Math/pad: {A} System for On-Line Preparation of Mathematical Documents},
journal = {Softw. Concepts Tools},
volume = {18},
number = {2},
pages = {80},
year = {1997},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/BackhouseVW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DoornbosBW97,
author = {Henk Doornbos and
Roland Carl Backhouse and
Jaap van der Woude},
title = {A Calculational Approach to Mathematical Induction},
journal = {Theor. Comput. Sci.},
volume = {179},
number = {1-2},
pages = {103--135},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00154-5},
doi = {10.1016/S0304-3975(96)00154-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DoornbosBW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/VaccariB97,
author = {Matteo Vaccari and
Roland Carl Backhouse},
editor = {Richard S. Bird and
Lambert G. L. T. Meertens},
title = {Deriving a systolic regular language recognizer},
booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
Alsace, France},
series = {{IFIP} Conference Proceedings},
volume = {95},
pages = {49--72},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 03 Jan 2002 11:52:45 +0100},
biburl = {https://dblp.org/rec/conf/alc/VaccariB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HoogendijkB97,
author = {Paul F. Hoogendijk and
Roland Carl Backhouse},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {When Do Datatypes Commute?},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {242--260},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026992},
doi = {10.1007/BFB0026992},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HoogendijkB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/DoornbosGB97,
author = {Henk Doornbos and
Netty van Gasteren and
Roland Carl Backhouse},
editor = {Chris Brink and
Wolfram Kahl and
Gunther Schmidt},
title = {Programs and Datatypes},
booktitle = {Relational Methods in Computer Science},
series = {Advances in computing science},
pages = {150--165},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6510-2\_10},
doi = {10.1007/978-3-7091-6510-2\_10},
timestamp = {Wed, 26 Jun 2019 17:54:44 +0200},
biburl = {https://dblp.org/rec/books/sp/97/DoornbosGB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Backhouse96,
author = {Roland Carl Backhouse},
title = {Mathematics of Program Construction},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {5--9},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00032-1},
doi = {10.1016/0167-6423(95)00032-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Backhouse96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DoornbosB96,
author = {Henk Doornbos and
Roland Carl Backhouse},
title = {Reductivity},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {217--236},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00027-5},
doi = {10.1016/0167-6423(95)00027-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DoornbosB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Group95,
author = {Chritiene Aarts and
Roland Carl Backhouse and
Eerke A. Boiten and
Henk Doornbos and
Netty van Gasteren and
Rik van Geldrop and
Paul F. Hoogendijk and
Ed Voermans and
Jaap van der Woude},
title = {Fixed-Point Calculus},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {131--136},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00195-5},
doi = {10.1016/0020-0190(94)00195-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Group95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/BackhouseBGW95,
author = {Roland Carl Backhouse and
Marcel Bijsterveld and
Rik van Geldrop and
Jaap van der Woude},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Categorical Fixed Point Calculus},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {159--179},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_25},
doi = {10.1007/3-540-60164-3\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/BackhouseBGW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DoornbosB95,
author = {Henk Doornbos and
Roland Carl Backhouse},
editor = {Bernhard M{\"{o}}ller},
title = {Induction and Recursion on Datatypes},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {242--256},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_14},
doi = {10.1007/3-540-60117-1\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DoornbosB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BackhouseEG94,
author = {Roland Carl Backhouse and
J. P. H. W. van den Eijnde and
A. J. M. van Gasteren},
title = {Calculating Path Algorithms},
journal = {Sci. Comput. Program.},
volume = {22},
number = {1-2},
pages = {3--19},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)90005-1},
doi = {10.1016/0167-6423(94)90005-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BackhouseEG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoogendijkB94,
author = {Paul F. Hoogendijk and
Roland Carl Backhouse},
title = {Relational Programming Laws in the Tree, List, Bag, Set Hierarchy},
journal = {Sci. Comput. Program.},
volume = {22},
number = {1-2},
pages = {67--105},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)90008-6},
doi = {10.1016/0167-6423(94)90008-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HoogendijkB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BackhouseW93,
author = {Roland Carl Backhouse and
Jaap van der Woude},
title = {Demonic Operators and Monotype Factors},
journal = {Math. Struct. Comput. Sci.},
volume = {3},
number = {4},
pages = {417--433},
year = {1993},
url = {https://doi.org/10.1017/S096012950000030X},
doi = {10.1017/S096012950000030X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BackhouseW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/BackhouseH93,
author = {Roland Carl Backhouse and
Paul F. Hoogendijk},
editor = {Bernhard M{\"{o}}ller and
Helmuth Partsch and
Stephen A. Schuman},
title = {Elements of a Relational Theory of Datatypes},
booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
Report},
series = {Lecture Notes in Computer Science},
volume = {755},
pages = {7--42},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57499-9\_15},
doi = {10.1007/3-540-57499-9\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-1/BackhouseH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseG92,
author = {Roland Carl Backhouse and
A. J. M. van Gasteren},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Calculating a Path Algorithm},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {32--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_6},
doi = {10.1007/3-540-56625-2\_6},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BackhouseBHMVW91,
author = {Roland Carl Backhouse and
Peter J. de Bruin and
Paul F. Hoogendijk and
Grant Malcolm and
Ed Voermans and
Jaap van der Woude},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Polynomial Relators (Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {303--326},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/BackhouseBHMVW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BackhouseM90,
author = {Roland Carl Backhouse and
Grant Malcolm},
title = {On induced congruences},
journal = {Bull. {EATCS}},
volume = {40},
pages = {201--206},
year = {1990},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BackhouseM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BackhouseC89,
author = {Roland Carl Backhouse and
Paul Chisholm},
title = {Do-It-Yourself Type Theory},
journal = {Formal Aspects Comput.},
volume = {1},
number = {1},
pages = {19--84},
year = {1989},
url = {https://doi.org/10.1007/BF01887198},
doi = {10.1007/BF01887198},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackhouseC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BackhouseK87,
author = {Roland Carl Backhouse and
A. Khamiss},
title = {A While-Rule in Martin-L{\"{o}}f's Theory of Types},
journal = {Comput. J.},
volume = {30},
number = {1},
pages = {27--36},
year = {1987},
url = {https://doi.org/10.1093/comjnl/30.1.27},
doi = {10.1093/COMJNL/30.1.27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BackhouseK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067017,
author = {Roland Carl Backhouse},
title = {Program construction and verification},
series = {{PHI} Series in computer science},
publisher = {Prentice Hall},
year = {1986},
isbn = {978-0-13-729146-5},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Backhouse84,
author = {Roland Carl Backhouse},
title = {Global Data Flow Analysis Problems Arising in Locally Least-Cost Error
Recovery},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {6},
number = {2},
pages = {192--214},
year = {1984},
url = {https://doi.org/10.1145/2993.357243},
doi = {10.1145/2993.357243},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Backhouse84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/AndersonBBS83,
author = {Stuart Oliver Anderson and
Roland Carl Backhouse and
E. H. Bugge and
C. P. Stirling},
title = {An Assessment of Locally Least-Cost Error Recovery},
journal = {Comput. J.},
volume = {26},
number = {1},
pages = {15--24},
year = {1983},
url = {https://doi.org/10.1093/comjnl/26.1.15},
doi = {10.1093/COMJNL/26.1.15},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/AndersonBBS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AndersonB82,
author = {Stuart Oliver Anderson and
Roland Carl Backhouse},
title = {An Alternative Implementation of an Insertion-Only Recovery Technique},
journal = {Acta Informatica},
volume = {18},
pages = {289--298},
year = {1982},
url = {https://doi.org/10.1007/BF00263195},
doi = {10.1007/BF00263195},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AndersonB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Backhouse82,
author = {Roland Carl Backhouse},
title = {Writing a Number as a Sum of Two Squares: {A} New Solution},
journal = {Inf. Process. Lett.},
volume = {14},
number = {1},
pages = {15--17},
year = {1982},
url = {https://doi.org/10.1016/0020-0190(82)90133-8},
doi = {10.1016/0020-0190(82)90133-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Backhouse82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AndersonB81,
author = {Stuart Oliver Anderson and
Roland Carl Backhouse},
title = {Locally Least-Cost Error Recovery in Early's Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {3},
number = {3},
pages = {318--347},
year = {1981},
url = {https://doi.org/10.1145/357139.357145},
doi = {10.1145/357139.357145},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AndersonB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Backhouse1979,
author = {Roland Carl Backhouse},
title = {Syntax of Programming Languages: Theory and Practice},
publisher = {Prentice-Hall},
year = {1979},
isbn = {0-13-879999-7},
timestamp = {Tue, 13 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ph/Backhouse1979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BackhouseA79,
author = {Roland Carl Backhouse and
Stuart Oliver Anderson},
title = {Least-cost repair of syntax errors},
journal = {{ACM} {SIGPLAN} Notices},
volume = {14},
number = {1},
pages = {102--104},
year = {1979},
url = {https://doi.org/10.1145/954051.954061},
doi = {10.1145/954051.954061},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BackhouseA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BackhouseL77,
author = {Roland Carl Backhouse and
R. K. Lutz},
editor = {Arto Salomaa and
Magnus Steinby},
title = {Factor Graphs, Failure Functions and BI-Trees},
booktitle = {Automata, Languages and Programming, Fourth Colloquium, University
of Turku, Finland, July 18-22, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {52},
pages = {61--75},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08342-1\_5},
doi = {10.1007/3-540-08342-1\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BackhouseL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Backhouse76,
author = {Roland Carl Backhouse},
title = {Closure algorithms and the star-height problem of regular languages},
school = {Imperial College London, {UK}},
year = {1976},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.448525},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Backhouse76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Backhouse76,
author = {Roland Carl Backhouse},
title = {An Alternative Approach to the Improvement of \emph{LR(k)} Parsers},
journal = {Acta Informatica},
volume = {6},
pages = {277--296},
year = {1976},
url = {https://doi.org/10.1007/BF00288658},
doi = {10.1007/BF00288658},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Backhouse76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-08 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
