Fernando Orejas

Automata, Languages and Programming

28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 : Proceedings

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete,...

Symbolic model generation for graph properties

Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph pr...

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. Th...

Notes on Set Theory

The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is als...

Automata, Languages and Programming

28th International Colloquium, ICALP'2001, Crete, Greece, July 8-12, 2001 : Proceedings

...

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

...

Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version

...