Treffer 1 - 20 von 79 für Suche 'Bonelli, Eduardo', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    A Strong Bisimulation for a Classical Term Calculus

    A Strong Bisimulation for a Classical Term Calculus von Bonelli, Eduardo, Kesner, Delia, Viso, Andrés


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Justification logic and audited computation

    Justification logic and audited computation von Bavera, Francisco, Bonelli, Eduardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Proceedings 16th Logical and Semantic Frameworks with Applications: Preface

    Proceedings 16th Logical and Semantic Frameworks with Applications: Preface von Ayala-Rincón, Mauricio, Bonelli, Eduardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The first-order hypothetical logic of proofs

    The first-order hypothetical logic of proofs von Steren, Gabriela, Bonelli, Eduardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Superdevelopments for Weak Reduction

    Superdevelopments for Weak Reduction von Bonelli, Eduardo, Barenbaum, Pablo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Typed path polymorphism

    Typed path polymorphism von Ayala-Rincón, Mauricio, Bonelli, Eduardo, Edi, Juan, Viso, Andrés

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On abstract normalisation beyond neededness

    On abstract normalisation beyond neededness von Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos, Ríos, Alejandro

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Foundations of strong call by need

    Foundations of strong call by need von Balabonski, Thibaut, Barenbaum, Pablo, Bonelli, Eduardo, Kesner, Delia


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Justification Logic as a foundation for certifying mobile computation

    Justification Logic as a foundation for certifying mobile computation von Bonelli, Eduardo, Feller, Federico


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Hypothetical Logic of Proofs

    Hypothetical Logic of Proofs von Bonelli, Eduardo, Steren, Gabriela

    Veröffentlicht in Logica universalis

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proceedings 5th International Workshop on Higher-Order Rewriting: Preface

    Proceedings 5th International Workshop on Higher-Order Rewriting: Preface von Bonelli, Eduardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Reductions in Higher-Order Rewriting and Their Equivalence

    Reductions in Higher-Order Rewriting and Their Equivalence von Barenbaum, Pablo, Bonelli, Eduardo

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Proceedings 9th International Workshop on Developments in Computational Models: Preface

    Proceedings 9th International Workshop on Developments in Computational Models: Preface von Ayala-Rincón, Mauricio, Bonelli, Eduardo, Mackie, Ian


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Justification Logic and History Based Computation

    Justification Logic and History Based Computation von Bavera, Francisco, Bonelli, Eduardo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Normalisation for higher-order calculi with explicit substitutions

    Normalisation for higher-order calculi with explicit substitutions von Bonelli, Eduardo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A Strong Bisimulation for a Classical Term Calculus

    A Strong Bisimulation for a Classical Term Calculus von Bonelli, Eduardo, Kesner, Delia, Viso, Andrés

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Proceedings 16th Logical and Semantic Frameworks with Applications

    Proceedings 16th Logical and Semantic Frameworks with Applications von Ayala-Rincon, Mauricio, Bonelli, Eduardo

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks

    Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks von Bonelli, Eduardo, Compagnoni, Adriana, Medel, Ricardo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Multipoint Session Types for a Distributed Calculus

    Multipoint Session Types for a Distributed Calculus von Bonelli, Eduardo, Compagnoni, Adriana


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Reductions in Higher-Order Rewriting and Their Equivalence

    Reductions in Higher-Order Rewriting and Their Equivalence von Barenbaum, Pablo, Bonelli, Eduardo

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: