Alfons Geser

Available identifiers

zbMath Open geser.alfonsMaRDI QIDQ851145

List of research outcomes

Publication	Date of Publication	Type
A complete characterization of termination of 0p 1q→1r 0s	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5089023	2022-07-18	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
On tree automata that certify termination of left-linear term rewriting systems	2007-04-16	Paper
Termination proofs for string rewriting systems via inverse match-bounds	2006-11-17	Paper
Term Rewriting and Applications	2005-11-11	Paper
Term Rewriting and Applications	2005-11-11	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
Implementation and Application of Automata	2005-08-17	Paper
FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS	2005-08-01	Paper
Match-bounded string rewriting systems	2005-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4808752	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4447248	2004-02-16	Paper
Relative undecidability in term rewriting. I: The termination hierarchy	2003-01-14	Paper
Relative undecidability in term rewriting. II: The confluence hierarchy	2003-01-14	Paper
Decidability of termination of grid string rewriting rules	2002-04-23	Paper
A complete characterization of termination of \(0^p1^q\to 1^r0^s\)	2000-10-30	Paper
On normalizing, non-terminating one-rule string rewriting systems	2000-08-21	Paper
Parallelizing functional programs by generalization	2000-04-26	Paper
Non-Looping String Rewriting	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4399254	1998-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4362915	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4364369	1997-11-17	Paper
Omega-termination is undecidable for totally terminating term rewriting systems	1997-05-28	Paper
An improved general path order	1996-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3819984	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742703	1986-01-01	Paper

Research outcomes over time

This page was built for person: Alfons Geser