Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    1 - 1 ud af 1Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2019
    2. Udgivet

      Fast Verified BCD Subtyping

      Bessai, J., Rehof, J. & Duedder, Boris, 1 jan. 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Margaria, T., Graf, S. & Larsen, K. G. (red.). Springer, s. 356-371 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11200 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    ID: 172785813