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

Combinator graph reduction A congruence and its applications

Lester, D

Publication date

January 1988

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:D90269 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Related items

Complexity of graph polynomials

Noble, S.

January 1997

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

Combinatorial structures in nonlinear programming

Scholtes, S.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(6/2002) / BLDSC - British L...

Categorical combinators for the calculus of constructions

Ritter, E
Cambridge Univ. (United Kingdom). Computer Lab

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--208) / BLDSC - Br...

Graph reduction with super-combinators

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

January 1982

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

Relational combinatorial optimisation

Ning, M.Z.

January 1998

Available from British Library Document Supply Centre-DSC:D201430 / BLDSC - British Library Document...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

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

Combinatorial algorithms

Wright, C.D

January 1990

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

Reducing symmetry in a combinatorial design problem

Smith, B.M.
Leeds Univ. (United Kingdom). School of Computer Studies

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(2001/01) / BLDSC - British L...

Combinatorial dynamics

Lambrou, L.

January 1998

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

Polyhedral combinatorics and neural networks

Gee, A.H.
Prager, R.W
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.17(CUED/F-INFENG/TR--100) / BLD...

Graph products of groups

Green, E.R

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D92100 / 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...

Novel techniques in combinatorial chemistry and their applications

Kuhn, Claudia

January 2002

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

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...

Combinatorial structures with applications to information theory

Quinn, K.A.S

January 1991

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

Complexity of graph polynomials

Noble, S.

January 1997

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

Combinatorial structures in nonlinear programming

Scholtes, S.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(6/2002) / BLDSC - British L...

Categorical combinators for the calculus of constructions

Ritter, E
Cambridge Univ. (United Kingdom). Computer Lab

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--208) / BLDSC - Br...

Graph reduction with super-combinators

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

January 1982

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

Relational combinatorial optimisation

Ning, M.Z.

January 1998

Available from British Library Document Supply Centre-DSC:D201430 / BLDSC - British Library Document...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

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

Combinatorial algorithms

Wright, C.D

January 1990

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

Reducing symmetry in a combinatorial design problem

Smith, B.M.
Leeds Univ. (United Kingdom). School of Computer Studies

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(2001/01) / BLDSC - British L...

Combinatorial dynamics

Lambrou, L.

January 1998

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

Polyhedral combinatorics and neural networks

Gee, A.H.
Prager, R.W
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.17(CUED/F-INFENG/TR--100) / BLD...

Graph products of groups

Green, E.R

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D92100 / 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...

Novel techniques in combinatorial chemistry and their applications

Kuhn, Claudia

January 2002

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

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...

Combinatorial structures with applications to information theory

Quinn, K.A.S

January 1991

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

Complexity of graph polynomials

Noble, S.

January 1997

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

Combinatorial structures in nonlinear programming

Scholtes, S.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(6/2002) / BLDSC - British L...

Categorical combinators for the calculus of constructions

Ritter, E
Cambridge Univ. (United Kingdom). Computer Lab

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--208) / BLDSC - Br...