Semi-inversion of conditional constructor term rewriting systems

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLogic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
EditorsMaurizio Gabbrielli
PublisherSpringer
Publication date2020
Pages 243-259
ISBN (Electronic)978-3-030-45260-5
DOIs
Publication statusPublished - 2020
Event29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019 - Porto, Portugal
Duration: 8 Oct 201910 Oct 2019

Conference

Conference29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019
LandPortugal
ByPorto
Periode08/10/201910/10/2019
SeriesLecture Notes in Computer Science
Volume12042
ISSN0302-9743

ID: 240803330