Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Publications

    Publications by HASLab

    2002

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

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

    Publication
    APPSEM

    Abstract

    2002

    Preface

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

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

    Abstract

    2002

    Preface

    Authors
    Backhouse, R; Oliveira, J;

    Publication
    Science of Computer Programming

    Abstract

    2002

    Coinductive Interpreters for Process Calculi

    Authors
    Barbosa, LS; Oliveira, JN;

    Publication
    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

    Authors
    Backhouse, R; Oliveira, J;

    Publication
    SCIENCE OF COMPUTER PROGRAMMING

    Abstract

    2002

    Semantically reliable group communication

    Authors
    Pereira, J;

    Publication

    Abstract

    • 249
    • 260