Departamento
Sistemas Informáticos y Computación
Publicaciones (8) Publicaciones en las que ha participado algún/a investigador/a
1993
-
A demand driven computation strategy for lazy narrowing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A technique for specifying and refining TCSP processes by using guards and liveness conditions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Decidability of the strict reachability problem for TPN's with rational and real durations
Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993
-
Diseño de programas: formalismo y abstracción
México : Prentice Hall, D.L. 1993
-
Foundations of a theorem prover for functional and mathematical uses
Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38
-
Planning national telecommunication networks
Electrical Communication, pp. 188-194
-
Process instances in LOTOS simulation*
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Selección de módulos por particionamiento borroso
VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993