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

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: Alfons Geser