Complexity of conditional term rewriting

Research output: Contribution to journalJournal articleResearchpeer-review

Documents

  • Cynthia Louisa Martina Kop
  • Aart Middeldorp
  • Thomas Sternagel
Original languageEnglish
Article number6
JournalLogical Methods in Computer Science
Volume13
Issue number1
Number of pages56
ISSN1860-5974
DOIs
Publication statusPublished - 2017

Links

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 178216690