Complexity of conditional term rewriting

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Dokumenter

  • Cynthia Louisa Martina Kop
  • Aart Middeldorp
  • Thomas Sternagel
OriginalsprogEngelsk
Artikelnummer6
TidsskriftLogical Methods in Computer Science
Vol/bind13
Udgave nummer1
Antal sider56
ISSN1860-5974
DOI
StatusUdgivet - 2017

Links

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


Ingen data tilgængelig

ID: 178216690