Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por HASLab

    2002

    Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

    Autores
    Barthe, G; Dybjer, P; Pinto, L; Saraiva, J;

    Publicação
    APPSEM

    Abstract

    2002

    Preface

    Autores
    Barthe, G; Dybjer, P; Pinto, L; Saraiva, J;

    Publicação
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    Abstract

    2002

    Preface

    Autores
    Backhouse, R; Oliveira, J;

    Publicação
    Science of Computer Programming

    Abstract

    2002

    Coinductive Interpreters for Process Calculi

    Autores
    Barbosa, LS; Oliveira, JN;

    Publicação
    Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings

    Abstract

    2002

    Special issue on Mathematics of Program Construction (MPC 2000) Preface

    Autores
    Backhouse, R; Oliveira, J;

    Publicação
    SCIENCE OF COMPUTER PROGRAMMING

    Abstract

    2002

    Semantically reliable group communication

    Autores
    Pereira, J;

    Publicação

    Abstract

    • 249
    • 260