Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Graph reduction with super-combinators

Hughes, J.
Oxford Univ. (UK). Computing Lab.

Publication date

January 1982

Abstract

2.95SIGLELD:8671.22(PRG--28) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Topics

thumbnail of dbpedia resource

British LibraryAgent

Related items

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

The spectrum of a graph modified by the addition of a vertex

Rowlinson, P.
Stirling Univ. (United Kingdom). Dept. of Computing Science and Mathematics

January 1992

Available from British Library Document Supply Centre-DSC:8723.4018(88) / BLDSC - British Library Do...

Computer investigations of the maximal exceptional graphs

Cvetkovic, D.
University of Stirling. Department of Computing Science and Mathematics (United Kingdom)

January 2001

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:8...

Combinator graph reduction A congruence and its applications

Lester, D

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D90269 / BLDSC - British Library Doc...

A chemical abstract machine for graph reduction

Jeffrey, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--3/92) / BLDSC - B...

A monster graph, I

Rowley, P.
Manchester Centre for Pure Mathematics (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:6609.268(no 2001/6) / BLDSC - British...

Investigations into iconic representations of combinators

Diller, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(00-7) / BLDSC - British Lib...

Graph products of groups

Green, E.R

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D92100 / BLDSC - British Library Doc...

Spectra of graphs

Al-Doujan, F.A

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:DX170998 / BLDSC - British Library D...

Graph theory leads to program visibility

Goodenough, S.J.
Bramson, B.D.
Royal Signals and Radar Establishment, Malvern (UK)

January 1980

SIGLELD:6015.42F(N--81-12771)(microfiche) / BLDSC - British Library Document Supply CentreGBUnited K...

Super-Combinators: A New Implementation Method for Applicative Languages

R. J. M. Hughes

January 1982

There is a growing interest nowadays in functional programming languages and systems, and in special...

On some aspects of graph spectra

Sciriha, I.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN031704 / BLDSC - British Library D...

On mapped reduction

Butterifeld, A
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8722.324(TCD-CS--93-39) / BLDSC - Br...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX90204 / BLDSC - British Library Do...

Simulated annealing for graph bisection

Jerrum, M.
Sorkin, G
Edinburgh Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-260) / BLDSC ...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

The spectrum of a graph modified by the addition of a vertex

Rowlinson, P.
Stirling Univ. (United Kingdom). Dept. of Computing Science and Mathematics

January 1992

Available from British Library Document Supply Centre-DSC:8723.4018(88) / BLDSC - British Library Do...

Computer investigations of the maximal exceptional graphs

Cvetkovic, D.
University of Stirling. Department of Computing Science and Mathematics (United Kingdom)

January 2001

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:8...

Combinator graph reduction A congruence and its applications

Lester, D

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D90269 / BLDSC - British Library Doc...

A chemical abstract machine for graph reduction

Jeffrey, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--3/92) / BLDSC - B...

A monster graph, I

Rowley, P.
Manchester Centre for Pure Mathematics (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:6609.268(no 2001/6) / BLDSC - British...

Investigations into iconic representations of combinators

Diller, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(00-7) / BLDSC - British Lib...

Graph products of groups

Green, E.R

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D92100 / BLDSC - British Library Doc...

Spectra of graphs

Al-Doujan, F.A

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:DX170998 / BLDSC - British Library D...

Graph theory leads to program visibility

Goodenough, S.J.
Bramson, B.D.
Royal Signals and Radar Establishment, Malvern (UK)

January 1980

SIGLELD:6015.42F(N--81-12771)(microfiche) / BLDSC - British Library Document Supply CentreGBUnited K...

Super-Combinators: A New Implementation Method for Applicative Languages

R. J. M. Hughes

January 1982

There is a growing interest nowadays in functional programming languages and systems, and in special...

On some aspects of graph spectra

Sciriha, I.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN031704 / BLDSC - British Library D...

On mapped reduction

Butterifeld, A
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8722.324(TCD-CS--93-39) / BLDSC - Br...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX90204 / BLDSC - British Library Do...

Simulated annealing for graph bisection

Jerrum, M.
Sorkin, G
Edinburgh Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-260) / BLDSC ...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

The spectrum of a graph modified by the addition of a vertex

Rowlinson, P.
Stirling Univ. (United Kingdom). Dept. of Computing Science and Mathematics

January 1992

Available from British Library Document Supply Centre-DSC:8723.4018(88) / BLDSC - British Library Do...

Computer investigations of the maximal exceptional graphs

Cvetkovic, D.
University of Stirling. Department of Computing Science and Mathematics (United Kingdom)

January 2001

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:8...