Bernhard Gramlich

From MaRDI portal
Person:671505

Available identifiers

zbMath Open gramlich.bernhardWikidataQ102270186 ScholiaQ102270186MaRDI QIDQ671505

List of research outcomes





PublicationDate of PublicationType
UNICOM: A refined completion based inductive theorem prover2023-04-28Paper
Sufficient conditions for modular termination of conditional term rewriting systems2023-03-09Paper
A constructor-based approach for positive/negative-conditional equational specifications2023-03-09Paper
Confluence without termination via parallel critical pairs2023-02-23Paper
Confluence of terminating conditional rewrite systems revisited2022-12-09Paper
Simple termination is difficult2022-12-09Paper
On proving termination by innermost termination2022-12-09Paper
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems2020-05-27Paper
On notions of inductive validity for first-order equational clauses2020-01-21Paper
Termination of lazy rewriting revisited2014-01-24Paper
A framework for timed concurrent constraint programming with external functions2013-12-20Paper
Strategic issues, problems and challenges in inductive theorem proving2013-09-25Paper
Modularity in term rewriting revisited2013-01-07Paper
Realizing Monads in Interaction Nets via Generic Typed Rules2012-07-16Paper
ON (UN)SOUNDNESS OF UNRAVELINGS2012-04-25Paper
Characterizing and proving operational termination of deterministic conditional term rewriting systems2010-10-22Paper
On-demand strategy annotations revisited: an improved on-demand evaluation strategy2009-12-15Paper
Transformations of Conditional Rewrite Systems Revisited2009-10-22Paper
Generalizing Newman’s Lemma for Left-Linear Rewrite Systems2008-09-25Paper
https://portal.mardi4nfdi.de/entity/Q48090592004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44282882003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q45375142002-07-01Paper
On interreduction of semi-complete term rewriting systems2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q42555141999-08-16Paper
https://portal.mardi4nfdi.de/entity/Q42467291999-07-29Paper
On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48469971996-06-10Paper
A constructor-based approach to positive/negative-conditional equational specifications1995-09-19Paper
Simple termination is difficult1995-01-31Paper
Generalized sufficient conditions for modular termination of rewriting1994-07-04Paper
https://portal.mardi4nfdi.de/entity/Q42892811994-05-24Paper

Research outcomes over time

This page was built for person: Bernhard Gramlich