E-LIB Suche - Ergebnisse für: Backhouse, Roland

1

On difunctions:

Backhouse, Roland ; Oliveira, José Nuno
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100878 , 2023

Link: https://doi.org/10.1016/..

2

Components and acyclicity of graphs. An exercise in combini..:

Backhouse, Roland ; Doornbos, Henk ; Glück, Roland.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100730 , 2022

Link: https://doi.org/10.1016/..

3

An Analysis of Repeated Graph Search:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Backhouse, Roland - p. 298-328 , 2019

Link: https://doi.org/10.1007/..

4

Factor theory and the unity of opposites:

Backhouse, Roland
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 5 - p. 824-846 , 2016

Link: https://doi.org/10.1016/..

5

The capacity-C torch problem:

Backhouse, Roland ; Truong, Hai
Science of Computer Programming. 102 (2015) - p. 76-107 , 2015

Link: https://doi.org/10.1016/..

6

First-past-the-post games:

Backhouse, Roland
Science of Computer Programming. 85 (2014) - p. 166-203 , 2014

Link: https://doi.org/10.1016/..

7

Structure Editing of Handwritten Mathematics : Improving..:

, In: Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces,

Mendes, Alexandra ; Backhouse, Roland ; Ferreira, Joao F. - p. 139-148 , 2014

Link: https://dl.acm.org/doi/1..

8

The algorithmics of solitaire-like games:

Backhouse, Roland ; Chen, Wei ; Ferreira, João F.
Science of Computer Programming. 78 (2013) 11 - p. 2029-2046 , 2013

Link: https://doi.org/10.1016/..

9

On Euclid's algorithm and elementary number theory:

Backhouse, Roland ; Ferreira, João F.
Science of Computer Programming. 76 (2011) 3 - p. 160-180 , 2011

Link: https://doi.org/10.1016/..

10

Meeting a fanclub : a lattice of generic shape selectors:

, In: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming,

Backhouse, Roland ; Bird, Richard ; Hoogendijk, Paul - p. 73-84 , 2009

Link: https://dl.acm.org/doi/1..

11

Datatype-generic programming

international spring school, SSDGP 2006, Nottingham, UK, Ap... Lecture notes in computer science ; 4719;Tutorial

Backhouse, Roland ; Gibbons, Jeremy ; Hinze, Ralf. , 2007

Link: http://dx.doi.org/10.100..

12

Datatype-Generic Termination Proofs:

Backhouse, Roland ; Doornbos, Henk
Theory of Computing Systems. 43 (2007) 3-4 - p. 362-393 , 2007

Link: https://doi.org/10.1007/..

13

Type-theoretic design patterns:

, In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming,

Rypacek, Ondrej ; Backhouse, Roland ; Nilsson, Henrik - p. 13-22 , 2006

Link: https://dl.acm.org/doi/1..

14

Regular algebra applied to language problems:

Backhouse, Roland
The Journal of Logic and Algebraic Programming. 66 (2006) 2 - p. 71-111 , 2006

Link: https://doi.org/10.1016/..

15

Safety of abstract interpretations for free, via logical re..:

Backhouse, Kevin ; Backhouse, Roland
Science of Computer Programming. 51 (2004) 1-2 - p. 153-196 , 2004

Link: https://doi.org/10.1016/..