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

Author/Creator MARTIN-MARTIN, ENRIQUE

1. A liberal type system for functional logic programs†. (May 2015)

Authors:: LÓPEZ-FRAGUAS, FRANCISCO JAVIER; MARTIN-MARTIN, ENRIQUE; RODRÍGUEZ-HORTALÁ, JUAN
Journal:: Mathematical structures in computer science
Issue:: Volume 25:Number 4(2015)
Page Start:: 942
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A Transformational Approach to Resource Analysis with Typed-norms Inference. Issue 3 (5th May 2020)

Authors:: ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 3(2020)
Page Start:: 310
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Resource Analysis driven by (Conditional) Termination Proofs. Issue 5 (September 2019)

Authors:: ALBERT, ELVIRA; BOFILL, MIQUEL; BORRALLERAS, CRISTINA; MARTIN-MARTIN, ENRIQUE; RUBIO, ALBERT
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 722
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Rewriting and narrowing for constructor systems with call-time choice semantics1. Issue 2 (30th October 2012)

Authors:: LÓPEZ-FRAGUAS, FRANCISCO J.; MARTIN-MARTIN, ENRIQUE; RODRÍGUEZ-HORTALÁ, JUAN; SÁNCHEZ-HERNÁNDEZ, JAIME
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 2(2014)
Page Start:: 165
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗