Forskning ved Københavns Universitet - Københavns Universitet

Forside

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  • Danny De Schreye
  • Glück, Robert
  • Jesper Jørgensen
  • Michael Leuschel
  • Bern Martens
  • Morten Heine Sørensen
OriginalsprogEngelsk
TidsskriftThe journal of logic programming
Vol/bind41
Udgave nummer2&3
Sider (fra-til)231-277
ISSN0743-1066
DOI
StatusUdgivet - 1999

ID: 177260014