Searching for authors named "Fernando Orejas" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Structuring and Modularity
- …Structuring and Modularity Fernando Orejas Dept. Leng. Sist. Inf., Univ. Polit. Catalua Barcelona…
- Cited by 6 (0 self) – 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
-
Integration and Classification of Data Type and Process Specification Techniques
- … Fernando Orejas Technical University of Berlin Technical University of Catalunya After more than 20 years…
- Cited by 1 (1 self) – Add To MetaCart
-
A Generic Component Concept for Integrated Data Type and Process Modeling Techniques
- … 1 Technical University of Berlin, Germany Fernando Orejas 2 Technical University of Catalunya…
- Cited by 6 (2 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
- … , and Fernando Orejas 2 1 Dpto de Computaci'on y Tecnolog'ia de la Informaci'on, Universidad Sim'on Bol…
- Cited by 4 (3 self) – Add To MetaCart
-
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages
- … Languages Rosa M. Jimnez, Fernando Orejas Departament de Lleng. i Sist. Informtics Universitat Politcnica de…
- Cited by 3 (1 self) – Add To MetaCart
-
A Generic Component Framework for System Modeling
- …A Generic Component Framework for System Modeling Hartmut Ehrig 1 , Fernando Orejas 2…
- Cited by 4 (2 self) – Add To MetaCart
-
A Transformation-Based Component Framework for a Generic Integerated Modeling Technique
- … Ehrig 1 , Fernando Orejas 2 , Benjamin Braatz 1 , Markus Klein 1 , and Martti Piirainen 1 1…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
