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
Simple termination is difficult	2022-12-09	Paper
On proving termination by innermost termination	2022-12-09	Paper
Confluence of terminating conditional rewrite systems revisited	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
https://portal.mardi4nfdi.de/entity/Q2848043	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernhard Gramlich