Forskning ved Københavns Universitet - Københavns Universitet

Forside

A semantic measure of the execution time in linear logic

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  • D. de Carvalho
  • M. Pagani
  • L. Tortora de Falco
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind412
Udgave nummer20
Sider (fra-til)1884 - 1902
Antal sider19
ISSN0304-3975
DOI
StatusUdgivet - 2011
Eksternt udgivetJa

ID: 45861078