Treffer 1 - 20 von 96 für Suche 'FLORIDO, MÁRIO', Suchdauer: 0,75s Treffer weiter einschränken
  1. 1
    CLP(H): Constraint logic programming for hedges

    CLP(H): Constraint logic programming for hedges von DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    PrologCheck – Property-Based Testing in Prolog

    PrologCheck – Property-Based Testing in Prolog von Amaral, Cláudio, Florido, Mário, Santos Costa, Vítor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Type-Based Cost Analysis for Lazy Functional Languages

    Type-Based Cost Analysis for Lazy Functional Languages von Jost, Steffen, Vasconcelos, Pedro, Florido, Mário, Hammond, Kevin

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Three-Valued Semantics for Typed Logic Programming

    A Three-Valued Semantics for Typed Logic Programming von Barbosa, João, Florido, Mário, Santos Costa, Vítor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Pattern-based calculi with finitary matching

    Pattern-based calculi with finitary matching von Alves, Sandra, Dundua, Besik, Florido, Mário, Kutsia, Temur

    Veröffentlicht in Logic journal of the IGPL

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Type Inference for Rank-2 Intersection Types Using Set Unification

    Type Inference for Rank-2 Intersection Types Using Set Unification von Ângelo, Pedro, Florido, Mário


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Non-Blocking Concurrent Imperative Programming with Session Types

    Non-Blocking Concurrent Imperative Programming with Session Types von Silva, Miguel, Florido, Mário, Pfenning, Frank


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Execution Time Program Verification with Tight Bounds

    Execution Time Program Verification with Tight Bounds von Silva, Ana Carolina, Barbosa, Manuel, Florido, Mário


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Structural Rules and Algebraic Properties of Intersection Types

    Structural Rules and Algebraic Properties of Intersection Types von Alves, Sandra, Florido, Mário


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    FC Portugal: RoboCup 2023 3D Simulation League Champions

    FC Portugal: RoboCup 2023 3D Simulation League Champions von Abreu, Miguel, Mota, Pedro, Reis, Luís Paulo, Lau, Nuno, Florido, Mário


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Liquid Intersection Types

    Liquid Intersection Types von Pereira, Mário, Alves, Sandra, Florido, Mário


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Data Type Inference for Logic Programming

    Data Type Inference for Logic Programming von Barbosa, João, Florido, Mário, Costa, Vítor Santos


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Type Inference for Rank 2 Gradual Intersection Types

    Type Inference for Rank 2 Gradual Intersection Types von Ângelo, Pedro, Florido, Mário


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Typed SLD-Resolution: Dynamic Typing for Logic Programming

    Typed SLD-Resolution: Dynamic Typing for Logic Programming von Barbosa, João, Florido, Mário, Costa, Vítor Santos


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Gödel’s system T revisited

    Gödel’s system T revisited von Alves, Sandra, Fernández, Maribel, Florido, Mário, Mackie, Ian

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Certifying execution time in multicores

    Certifying execution time in multicores von Rodrigues, Vítor, Akesson, Benny, Florido, Mário, de Sousa, Simão Melo, Pedroso, João Pedro, Vasconcelos, Pedro

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

    VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content von Coelho, Jorge, Florido, Mário


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Linearity: A Roadmap

    Linearity: A Roadmap von Alves, S., Fernandez, M., Florido, M., Mackie, I.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The Power of Linear Functions

    The Power of Linear Functions von Alves, Sandra, Fernández, Maribel, Florido, Mário, Mackie, Ian


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Linearity in Computation

    Linearity in Computation von Florido, M., Mackie, I.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: