Partial order infinitary term rewriting

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Dokumenter

  • Patrick Bahr
OriginalsprogEngelsk
Artikelnummer6
TidsskriftLogical Methods in Computer Science
Vol/bind10
Udgave nummer2
Antal sider52
ISSN1860-5974
DOI
StatusUdgivet - 2014

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 125682885