Resultados de búsqueda - Bonelli, Eduardo

Limitar resultados
  1. 1

    Sobre la representación de S4.3. por Bonelli, Eduardo

    1996
    Consultar en el Cátalogo
    Tesis
  2. 2

    Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  3. 3

    A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  4. 4

    Correspondence assertions for process synchronization in concurrent communications por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  5. 5

    Typechecking safe process synchronization por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    Justification logic as a foundation for certifying mobile computation por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  7. 7

    Multipoint session types for a distributed calculus por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  8. 8

    The logic of proofs as a foundation for certifying mobile computation por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  9. 9

    de Bruijn indices for metaterms por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  10. 10

    Relating higher-order and first-order rewriting por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  11. 11

    Boxed ambients with communication interfaces por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  12. 12

    Sobre la representación de S4.3. por Bonelli, Eduardo

    1996
    Consultar en el Cátalogo
    Tesis
  13. 13

    Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  14. 14

    A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  15. 15

    Correspondence assertions for process synchronization in concurrent communications por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  16. 16

    Typechecking safe process synchronization por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  17. 17

    Justification logic as a foundation for certifying mobile computation por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  18. 18

    Multipoint session types for a distributed calculus por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  19. 19

    The logic of proofs as a foundation for certifying mobile computation por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  20. 20

    de Bruijn indices for metaterms por Bonelli, Eduardo

    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: