Guía del ciudadano

Veröffentlicht 1986

Políticas de empleo

Veröffentlicht 1990

Políticas agrarias y empleo en America Latina : memoria del seminario ; [marzo de 1987]

Veröffentlicht 1987

Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers

Veröffentlicht 2010

La actividad camaronera en el Ecuador

Veröffentlicht 1986

Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysıs Method

von López-Rueda, Raúl
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

Special issue: rewriting logic and its applications

Veröffentlicht 2015

La Agroindustria en el Ecuador

Veröffentlicht 1985

Guía de la mujer ecuatoriana

Veröffentlicht 1986

An Efficient Canonical Narrowing Implementation for Protocol Analysis

von López-Rueda, Raúl
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

Guı́da del estudiante universitario del Ecuador : todas las carreras del paı́s ; ingreso, exámenes, tı́tulos ...

Veröffentlicht 1985

Variant-Based Equational Anti-unification

von Alpuente, María
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

Rewriting logic and its applications : 13th international workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers

Veröffentlicht 2020

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 ; revised selected papers

Veröffentlicht 2014

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

von Aparicio-Sánchez, Damián
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 2 (2020)

Parallel Maude-NPA for Cryptographic Protocol Analysis

von Do, Canh Minh
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

El sector informal urbano en los países andinos

Veröffentlicht 1985

El sector informal urbano en los países andinos

Veröffentlicht 1987

Case Study: Implementation of FSW in the Colombian Rail Transport Sector

von Hoyos, Elizabeth
Veröffentlicht in Symposium on Friction Stir Welding and Processing (11. : 2021 : Orlando, Fla.) Friction stir welding and processing XI (2021)

Protocol Analysis with Time

von Aparicio-Sánchez, Damián
Veröffentlicht in INDOCRYPT (21. : 2020 : Online) Progress in cryptology - INDOCRYPT 2020 (2020)