Publicaciones (8) Publicaciones en las que ha participado algún/a investigador/a

1993

  1. 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)

  2. 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)

  3. 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

  4. Diseño de programas: formalismo y abstracción

    México : Prentice Hall, D.L. 1993

  5. Foundations of a theorem prover for functional and mathematical uses

    Journal of Applied Non-Classical Logics, Vol. 3, Núm. 1, pp. 7-38

  6. Planning national telecommunication networks

    Electrical Communication, pp. 188-194

  7. Process instances in LOTOS simulation*

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

  8. Selección de módulos por particionamiento borroso

    VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993