Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maria Bendix Mikkelsen"'
Publikováno v:
VPT@ETAPS
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43607ccd5ed42e25026574d51c76ead3
https://doi.org/10.4204/eptcs.341.3
https://doi.org/10.4204/eptcs.341.3
