Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:


    1. 2009
    2. Udgivet

      Types for secure pattern matching with local knowledge in universal concurrent constraint programming

      Hildebrandt, Thomas Troels & López, H. A., 14 sep. 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. s. 417-431 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5649 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    ID: 191341554