Isabelle Gnaedig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Termination of rewriting under strategies ACM Transactions on Computational Logic	2015-09-17	Paper
Outermost ground termination	2013-10-02	Paper
Induction for termination with local strategies Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Proving weak properties of rewriting Theoretical Computer Science	2011-07-29	Paper
Termination of Priority Rewriting Language and Automata Theory and Applications	2009-04-02	Paper
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations Rewriting, Computation and Proof	2009-03-06	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Termination and normalisation under strategy proofs in ELAN	2001-05-07	Paper
Equational completion in order-sorted algebras Theoretical Computer Science	1990-01-01	Paper
scientific article; zbMATH DE number 4056995 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4080964 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4047066 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Isabelle Gnaedig