Author/Creator: OLARTE, CARLOS - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator OLARTE, CARLOS

1. A concurrent constraint programming interpretation of access permissions. Issue 2 (10th April 2018)

Authors:: OLARTE, CARLOS; PIMENTEL, ELAINE; RUEDA, CAMILO
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 2(2018)
Page Start:: 252
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A Proof Theoretic Study of Soft Concurrent Constraint Programming. Issue 4 (21st July 2014)

Authors:: PIMENTEL, ELAINE; OLARTE, CARLOS; NIGAM, VIVEK; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 649
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014)

Authors:: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 3(2015)
Page Start:: 312
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Hybrid linear logic, revisited. (22nd April 2019)

Authors:: CHAUDHURI, KAUSTUV; DESPEYROUX, JOËLLE; OLARTE, CARLOS; PIMENTEL, ELAINE
Journal:: Mathematical structures in computer science
Issue:: Volume 29:Number 8(2019)
Page Start:: 1151
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗