An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume341
Pages (from-to)33-41
Number of pages9
ISSN2075-2180
DOIs
Publication statusPublished - 2021

ID: 279715128