Spring til hovednavigation Spring til søgning Spring til hovedindhold

The impact of higher-order state and control effects on local relational reasoning

  • Derek Dreyer
  • , Georg Neis
  • , Lars Birkedal

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'The impact of higher-order state and control effects on local relational reasoning'. Sammen danner de et unikt fingeraftryk.
    Sorter

    Keyphrases

    Computer Science