Orejas, Fernando.
Orejas, Fernando, 1952-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Orejas, F. (Fernando)
Orejas, F.
Fernando Orejas Valdes Investigador ORCID:0000-0002-3023-4006
VIAF ID: 10494348 (Personal)
Permalink: http://viaf.org/viaf/10494348
Preferred Forms
-
100 0 _
‡a
Fernando Orejas Valdes
‡c
Investigador ORCID:0000-0002-3023-4006
-
100 1 _
‡a
Orejas, F.
-
100 1 _ ‡a Orejas, F. ‡q (Fernando)
-
100 1 _ ‡a Orejas, F. ‡q (Fernando)
-
100 1 0
‡a
Orejas, F.
‡q
(Fernando)
-
100 1 _ ‡a Orejas, F. ‡q (Fernando)
-
100 1 _
‡a
Orejas, Fernando
-
100 1 0
‡a
Orejas, Fernando
-
100 1 _ ‡a Orejas, Fernando
-
100 1 _ ‡a Orejas, Fernando
-
100 1 _ ‡a Orejas, Fernando
-
100 1 _ ‡a Orejas, Fernando
-
100 1 _ ‡a Orejas, Fernando, ‡d 1952-
-
100 1 _
‡a
Orejas, Fernando,
‡d
1952-....
-
100 1 _ ‡a Orejas, Fernando.
4xx's: Alternate Name Forms (10)
Works
| Title | Sources |
|---|---|
| 104 problemas resueltos de teoría de la computabilidad |
|
| Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) |
|
| An Algebraic study of modularity in logic programming |
|
| Algunas técnicas de reescritura y su implementación en el sistema TRIP : tesina presentada por Robert Nieuwenhuis |
|
| Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings |
|
| Behavioural approach to modular system specification |
|
| Compilador i intèrpret de PASCAL sobre un microordinador : [memòria presentada per Jaume Sistac i Planas per tal d'aspirar al grau de Llicenciat en Informàtica per la Universitat Politècnica de Barcelona] |
|
| Construcción de programas concurrentes usando tipos abstractos de datos |
|
| Constructive negation without subsidiary tree |
|
| Development of algebraic specifications with constraints |
|
| A Distributed and mobile component system based on the ambient calculus |
|
| Hoare-like verification of graph transformation |
|
| Informàtica I |
|
| Intercanvi d'informació CERG-FINANCE |
|
| A Module concept within the initial behaviour framework |
|
| Monitor de parques eólicos |
|
| On implementability and computability on abstract data types |
|
| On sufficiently complete parameterized specifications |
|
| On translating partial to total specifications with applications to theorem proving for partial specifications |
|
| Parametrized conditional log-specifications : proof theory and correctness |
|
| Programació amb tipus abstractes de dades : els tipus abstractes com a suport conceptual dels esquemes de programa |
|
| Programació paral·lela usant esquemes : vers un mètode sistemàtic de construcció de programes concurrents |
|
| Programación y lenguajes : VI Jornadas sobre Programación y Lenguajes, PROLE'06, Sitges, 4 al 6 de octubre de 2006 |
|
| A Proof system for verifying composability of abstract implementations |
|
| Raisonnement sur les transformations de graphes. |
|
| Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers |
|
| Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers |
|
| Recent trends in data type specification / Hartmut Ehrig, Fernando Orejas (eds.). - Berlin, 1994. |
|
| Semántica de comportamiento en lenguajes de especificación |
|
| Sistema de gestió i tractament en hypertext d'una base d'especificacions |
|
| Some contributions to the semantics of normal logic programs |
|
| TAPSOFT '89 : proceedings of the international joint conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 |
|
| Técnicas de reescritura para especificaciones condicionales |
|
| Theorem proving in first order logic with equality by clausal rewriting and completion |
|
| A Type-theoretic approach to proof support for algebraic design frameworks |
|
| WADT 2004 |
|
