Searching for authors named "Fernando Orejas" – sorted by Relevance.
-
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

