Bernhard Gramlich

Available identifiers

zbMath Open gramlich.bernhardWikidataQ102270186 ScholiaQ102270186MaRDI QIDQ671505

List of research outcomes

Publication	Date of Publication	Type
UNICOM: A refined completion based inductive theorem prover	2023-04-28	Paper
Sufficient conditions for modular termination of conditional term rewriting systems	2023-03-09	Paper
A constructor-based approach for positive/negative-conditional equational specifications	2023-03-09	Paper
Confluence without termination via parallel critical pairs	2023-02-23	Paper
Confluence of terminating conditional rewrite systems revisited	2022-12-09	Paper
Simple termination is difficult	2022-12-09	Paper
On proving termination by innermost termination	2022-12-09	Paper
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems	2020-05-27	Paper
On notions of inductive validity for first-order equational clauses	2020-01-21	Paper
Termination of lazy rewriting revisited	2014-01-24	Paper
A framework for timed concurrent constraint programming with external functions	2013-12-20	Paper
Strategic issues, problems and challenges in inductive theorem proving	2013-09-25	Paper
Modularity in term rewriting revisited	2013-01-07	Paper
Realizing Monads in Interaction Nets via Generic Typed Rules	2012-07-16	Paper
ON (UN)SOUNDNESS OF UNRAVELINGS	2012-04-25	Paper
Characterizing and proving operational termination of deterministic conditional term rewriting systems	2010-10-22	Paper
On-demand strategy annotations revisited: an improved on-demand evaluation strategy	2009-12-15	Paper
Transformations of Conditional Rewrite Systems Revisited	2009-10-22	Paper
Generalizing Newman’s Lemma for Left-Linear Rewrite Systems	2008-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4809059	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428288	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4537514	2002-07-01	Paper
On interreduction of semi-complete term rewriting systems	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4255514	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4246729	1999-07-29	Paper
On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4846997	1996-06-10	Paper
A constructor-based approach to positive/negative-conditional equational specifications	1995-09-19	Paper
Simple termination is difficult	1995-01-31	Paper
Generalized sufficient conditions for modular termination of rewriting	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4289281	1994-05-24	Paper

Research outcomes over time

This page was built for person: Bernhard Gramlich