Category-based semantics for equational and constraint logic programming

Logical constraints An essay in proof theory

Dosen, K

January 1980

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

A dataflow semantics for constraint logic programs

Colussi, L.
Marchiori, E.
Marchiori, M.

January 1995

Contains fulltext : 84493_aut.pdf (author's version ) (Open Access) ...

A category driven computational grammar of English

Borsley, R
IBM United Kingdom Labs. Ltd., Winchester (United Kingdom). UK Scientific Centre

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:4360.105(IBM-UKSC-R--223) / BLDSC - ...

Category-based Semantics for Equational and Constraint Logic Programming

Razvan Diaconescu

January 1994

This thesis proposes a general framework for equational logic programming, called category-based equ...

The algebra of logic programming

Seres, S.

January 2001

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

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

A backward analysis for constraint logic programs

King, A.
Lu, L.
Kent Univ., Canterbury (United Kingdom). Computing Lab.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.2885(no 4-01) / BLDSC - British ...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

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

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

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

Modes and types in logic programming

Smaus, J.

January 1999

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

A proposed categorical semantics for pure ML

Phoa, W.
Fourman, M
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

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

Generalized semantics and abstract interpretation for constraint logic programs

Giacobazzi, Roberto
Debray, Saumya K
Levi, Giorgio

December 1995

AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs

GIACOBAZZI, Roberto
Saumya K. Debray
Giorgio Levi

January 1995

We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...

Semantic approaches to paraconsistent logic

Tuziak, R.

January 1995

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

Logical constraints An essay in proof theory

Dosen, K

January 1980

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

A dataflow semantics for constraint logic programs

Colussi, L.
Marchiori, E.
Marchiori, M.

January 1995

Contains fulltext : 84493_aut.pdf (author's version ) (Open Access) ...

A category driven computational grammar of English

Borsley, R
IBM United Kingdom Labs. Ltd., Winchester (United Kingdom). UK Scientific Centre

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:4360.105(IBM-UKSC-R--223) / BLDSC - ...

Category-based Semantics for Equational and Constraint Logic Programming

Razvan Diaconescu

January 1994

This thesis proposes a general framework for equational logic programming, called category-based equ...

The algebra of logic programming

Seres, S.

January 2001

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

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

A backward analysis for constraint logic programs

King, A.
Lu, L.
Kent Univ., Canterbury (United Kingdom). Computing Lab.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.2885(no 4-01) / BLDSC - British ...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

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

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

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

Modes and types in logic programming

Smaus, J.

January 1999

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

A proposed categorical semantics for pure ML

Phoa, W.
Fourman, M
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

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

Generalized semantics and abstract interpretation for constraint logic programs

Giacobazzi, Roberto
Debray, Saumya K
Levi, Giorgio

December 1995

AbstractWe present simple and powerful generalized algebraic semantics for constraint logic programs...

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs

GIACOBAZZI, Roberto
Saumya K. Debray
Giorgio Levi

January 1995

We present simple and powerful generalized algebraic semantics for constraint logic programs that ar...

Semantic approaches to paraconsistent logic

Tuziak, R.

January 1995

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

Logical constraints An essay in proof theory

Dosen, K

January 1980

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

A dataflow semantics for constraint logic programs

Colussi, L.
Marchiori, E.
Marchiori, M.

January 1995

Contains fulltext : 84493_aut.pdf (author's version ) (Open Access) ...

A category driven computational grammar of English

Borsley, R
IBM United Kingdom Labs. Ltd., Winchester (United Kingdom). UK Scientific Centre

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:4360.105(IBM-UKSC-R--223) / BLDSC - ...

Category-based semantics for equational and constraint logic programming

Abstract

Extracted data

Category-based semantics for equational and constraint logic programming

Abstract

Extracted data

Related items

Related items