Вы здесь

Главная

Orejas F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Algebraic System Specification and Development 1991 Bidoit M., Kreowski H. -J., Lescanne P., Orejas F., Sannella D. Lecture Notes in Computer Science A Syrvey and Annotated Bibliography 13.08.1991
СТ Amalgamation and Extension in the Framework of Specification Logic and Generalized Morphisms 1991 Orejas F. EATCS Bull. 19.09.1991
СТ Characterizing Confusion 1993 Navarro M., Orejas F., Sanchez A. EATCS Bull. 24.03.1993
СТ Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications 1993 Navarro M., Orejas F., Remy J. -L. Acta Informatica 21.04.1993
СТ Semantic Constructions in the Specification Language Glider 1994 Clerici S., Orejas F. Lecture Notes in Computer Science 04.06.1994
СТ Algebraic Methods in the Compositional Analysis of Logic Programs 1994 Orejas F., Pino E. Lecture Notes in Computer Science 29.09.1994
СТ Dynamic Abstract Data Types Based on Algebraic Graph Transformations 1995 Ehrig H., Lowe M., Orejas F. Lecture Notes in Computer Science 24.05.1995
СТ An Algebraic Framework for Higher-Order Modules 1999 Jimenez R., Orejas F. Lecture Notes in Computer Science 26.10.1999
СТ A General Algebraic Framework for Studying Modular Systems 2000 Orejas F., Pino E. Lecture Notes in Computer Science 13.10.2000
СТ Semantic Definitions for Normal Open Programs 1999 Orejas F., Pino E. Logic Programming 07.03.2001
СТ Semantics of Normal Logic Programs with Embedded Implications 2001 Orejas F., Pasarella E., Pino E. Lecture Notes in Computer Science 08.11.2001
СТ A Generic Component Framework for System Modeling 2002 Ehrig H., Orejas F., Braatz B., Klein M., Piirainen M. Lecture Notes in Computer Science 15.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Recent Trends in Data Type Specification: Selected Papers/9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop. Caldes de Malavella, Spain, October 1992 1994 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Orejas F.
 02.06.1994
СБ Automata, Languages and Programming: Proc./28th Intern. Colloquium, ICALP 2001, Crete, Greece, July 2001 2001 Lecture Notes in Computer Science
  1. Orejas F.
  2. Spirakis P. G.
  3. Van Leeuwen J.
 28.07.2001
СБ Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday 2005 Lecture Notes in Computer Science
  1. Kreowski H. -J.
  2. Montanari U.
  3. Orejas F.
  4. Rozenberg G.
 19.05.2005
СБ Recent Trends in Algebraic Development Techniques: Revised Selected Papers/17th International Workshop, WADT 2004. Barcelona, Spain, March 2004 2005 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Mosses P. D.
  3. Orejas F.
 26.05.2005
СБ Foundational Approaches to Software Engineering: Proc./14th International Conference, FASE 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011 2011 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Orejas F.
 14.05.2011
СБ Graph Transformation: Proc./12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 2019 2019 Lecture Notes in Computer Science
  1. Guerra E.
  2. Orejas F.
 15.08.2019