Forskning ved Københavns Universitet - Københavns Universitet

Forside

Foundational Nonuniform (Co)datatypes for Higher-Order Logic

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

OriginalsprogEngelsk
TitelLICS 2017
Antal sider12
ForlagIEEE Computer Society Press
Publikationsdato2017
Sider1-12
DOI
StatusUdgivet - 2017
Eksternt udgivetJa

ID: 245669276