Forskning ved Københavns Universitet - Københavns Universitet

Forside

Efficient first order functional program interpreter with time bound certifications

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  • JY Marion
  • JY Moyen
OriginalsprogEngelsk
TitelLOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
Vol/bind1955
Publikationsdato2000
Sider25-42
ISBN (Trykt)3-540-41285-9
DOI
StatusUdgivet - 2000

ID: 148647948