Maja H. Kirkeby

From MaRDI portal
Person:511018

Available identifiers

zbMath Open kirkeby.maja-hanneMaRDI QIDQ511018

List of research outcomes





PublicationDate of PublicationType
Exploring the energy overhead of reversible programs executed on irreversible hardware2024-11-13Paper
Confluence of CHR revisited: invariants and modulo equivalence2023-11-09Paper
Semi-inversion of Conditional Constructor Term Rewriting Systems2022-08-25Paper
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems2019-02-20Paper
Confluence and convergence in probabilistically terminating reduction systems2018-09-06Paper
On proving confluence modulo equivalence for Constraint Handling Rules2017-02-14Paper
Confluence Modulo Equivalence in Constraint Handling Rules2015-10-02Paper

Research outcomes over time

This page was built for person: Maja H. Kirkeby

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:511018&oldid=6911289"
Powered by MediaWiki