Ciencias Matemáticas

1991

1. A complete proof system for timed observations

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. Comportamiento asintótico de las geodesicas incompletas en un toro orientado de Lorentz

   XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

3. Comunicación: La comunicación en las matemáticas

   La comunicación

4. Control del diseño en un sistema de síntesis de alto nivel

   Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

5. DIVERSITY INDEX BASED ON THE HYPOENTROPY MEASURE FOR STRATIFIED SAMPLING METHODS

   FIFTEENTH PORTUGUESE-SPANISH CONFERENCE ON MATHEMATICS : PROCEEDINGS, VOLS 1-6

6. Efecto doppler en campos gravitatorios débiles

   XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

7. F-numerables-compactificaciones de espacios isocompactos y localmente compactos

   XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

8. Fuzzy multicriteria techniques: An application to transport planning

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. Generalizaciones de la divergencia informacional

   XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

10. Geometría de triángulos geodésicos y relación entre referencias móviles sobre curvas temporales

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

11. Métodos convolutivos en sistemas de colas con reintegros

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

12. On narrowing strategies for partial non-strict functions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

13. Operational Semantics for Timed Observations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

14. Resultados recientes de controlabilidad de estructuras flexibles multidimensionales

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

15. STRONG-CONVERGENCE ON THE EXACT BOUNDARY CONTROLLABILITY OF THE WAVE-EQUATION IN PERFORATED DOMAINS

    ESTIMATION AND CONTROL OF DISTRIBUTED PARAMETER SYSTEMS

16. Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems

    Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

17. Sobre el abierto de la variedad de las álgebras de Lie nilpotentes de dimensión 9, formado por las leyes filiformes

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

18. Sobre los espacios Cech-Completos

    XV Jornadas Luso-Espanholas de Matemática: Universidade de Évora. 3 a 7 de Septembro de 1990

19. The one dimensional porous medium equation with a strong convection: study via lagrangian coordinates

    Actas del XII C.E.D.Y.A. : (Congreso de Ecuaciones Diferenciales y Aplicaciones) : II Congreso de Matemática Aplicada : septiembre 1991

20. Un sistema flexible de síntesis de alto nivel

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991