Searching for authors named "Elvira Pino" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
