Conserved constraints in three-plus-one Begge calculus

Constraints on three families axion models

Moulatsiotis, P.

January 1998

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

Natural constraints on Euclidean motions

Cocke, M.

January 1998

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

Action constraint maintenance

Barringer, H
Zhang, Y.
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-1) / BLDSC - Bri...

Approaches to 3+1 Regge Calculus

Tuckey, P.A

January 1988

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

An algebraic characterization of tractable constraints

Jeavons, P
Royal Holloway Univ. of London (United Kingdom). Dept. of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.8085(RHUL-CSD-TR--95-05) / BLDS...

Logical constraints An essay in proof theory

Dosen, K

January 1980

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

Solving geometric constraint systems

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

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--165) / BLDSC - Br...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

Constraint logic planning

Zhang, Y.
Barringer, H
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-2) / BLDSC - Bri...

Justifying constraints

Lippert-Rasmussen, K

January 1994

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

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

Initial constraints in concrete

Torrenti, J-M.
Acker, P.
Boulay, C.
Lejeune, D
Transport and Road Research Lab. (TRRL), Crowthorne (United Kingdom)

January 1989

Translated from French (Bull. Liason Lab. Ponts. Chaussees 1988 v. 158(11/12) p. 39-44)SIGLEAvailabl...

A global concavity condition for decisions with several constraints

Muller, C.
Nottingham Univ. (United Kingdom)

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:3597.93385(99/5) / BLDSC - British Li...

Combined modelling and problem solving in mathematical programming and constraint programming

Heipcke, S.

January 1999

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

Constraints on three families axion models

Moulatsiotis, P.

January 1998

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

Natural constraints on Euclidean motions

Cocke, M.

January 1998

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

Action constraint maintenance

Barringer, H
Zhang, Y.
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-1) / BLDSC - Bri...

Approaches to 3+1 Regge Calculus

Tuckey, P.A

January 1988

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

An algebraic characterization of tractable constraints

Jeavons, P
Royal Holloway Univ. of London (United Kingdom). Dept. of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8717.8085(RHUL-CSD-TR--95-05) / BLDS...

Logical constraints An essay in proof theory

Dosen, K

January 1980

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

Solving geometric constraint systems

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

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--165) / BLDSC - Br...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

Constraint logic planning

Zhang, Y.
Barringer, H
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-2) / BLDSC - Bri...

Justifying constraints

Lippert-Rasmussen, K

January 1994

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

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

Initial constraints in concrete

Torrenti, J-M.
Acker, P.
Boulay, C.
Lejeune, D
Transport and Road Research Lab. (TRRL), Crowthorne (United Kingdom)

January 1989

Translated from French (Bull. Liason Lab. Ponts. Chaussees 1988 v. 158(11/12) p. 39-44)SIGLEAvailabl...

A global concavity condition for decisions with several constraints

Muller, C.
Nottingham Univ. (United Kingdom)

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:3597.93385(99/5) / BLDSC - British Li...

Combined modelling and problem solving in mathematical programming and constraint programming

Heipcke, S.

January 1999

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

Constraints on three families axion models

Moulatsiotis, P.

January 1998

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

Natural constraints on Euclidean motions

Cocke, M.

January 1998

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

Action constraint maintenance

Barringer, H
Zhang, Y.
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-1) / BLDSC - Bri...

Conserved constraints in three-plus-one Begge calculus

Abstract

Extracted data

Conserved constraints in three-plus-one Begge calculus

Abstract

Extracted data

Related items

Related items