Searching for authors named "Elvira Pino" – sorted by Relevance.
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- . In Proc. IEEE Symp. on Logic Programming, 152-160, (1985) [OPE94] F. Orejas, E. Pino, H. Ehrig. Algebraic
- Add To MetaCart
-
Semantic Definitions for Normal Open Programs
- Semantic Denitions for Normal Open Programs Fernando Orejas and Elvira Pino Dept. Leng. Sist. Inf
- Add To MetaCart
-
Tight and Loose Semantics for Transformation Systems
- , and Elvira Pino 2 1 FB 13 Informatik, Tech. Univ. Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany. ehrig
- Cited by 2 (1 self) – Add To MetaCart
-
Institutions for Logic Programming
- 1 Institutions for Logic Programming Fernando Orejas, Elvira Pino Dept. de L.S.I. , Universitat
- Cited by 3 (1 self) – Add To MetaCart
-
An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs
- SEMANTICS OF NORMAL LOGIC PROGRAMS PAQUI LUCIO, FERNANDO OREJAS AND ELVIRA PINO . The aim of our work
- Cited by 7 (6 self) – Add To MetaCart
-
Constructive Negation Without Subsidiary Trees
- Constructive negation without subsidiary trees Edelmira Pasarella 12 , Elvira Pino 2
- Cited by 4 (3 self) – Add To MetaCart
-
unknown title
- and Elvira Pino Barcelona, september 2008“Que mi cuerpo no para de notar que tu alma conmigo siempre está y
- Add To MetaCart

