Person:851145: Difference between revisions

From MaRDI portal
Person:851145
Created automatically from import230924090903
 
m AuthorDisambiguator moved page Alfons Geser to Alfons Geser: Duplicate
 
(No difference)

Latest revision as of 01:16, 13 December 2023

Available identifiers

zbMath Open geser.alfonsMaRDI QIDQ851145

List of research outcomes

PublicationDate of PublicationType
A complete characterization of termination of 0p 1q→1r 0s2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q50890232022-07-18Paper
Mathematical Foundations of Computer Science 20032007-12-07Paper
On tree automata that certify termination of left-linear term rewriting systems2007-04-16Paper
Termination proofs for string rewriting systems via inverse match-bounds2006-11-17Paper
Term Rewriting and Applications2005-11-11Paper
Term Rewriting and Applications2005-11-11Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
Theorem Proving in Higher Order Logics2005-08-18Paper
Implementation and Application of Automata2005-08-17Paper
FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS2005-08-01Paper
Match-bounded string rewriting systems2005-02-09Paper
https://portal.mardi4nfdi.de/entity/Q48087522004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44472482004-02-16Paper
Relative undecidability in term rewriting. I: The termination hierarchy2003-01-14Paper
Relative undecidability in term rewriting. II: The confluence hierarchy2003-01-14Paper
Decidability of Termination of Grid String Rewriting Rules2002-04-23Paper
A complete characterization of termination of \(0^p1^q\to 1^r0^s\)2000-10-30Paper
On normalizing, non-terminating one-rule string rewriting systems2000-08-21Paper
Parallelizing functional programs by generalization2000-04-26Paper
Non-Looping String Rewriting2000-01-04Paper
https://portal.mardi4nfdi.de/entity/Q43992541998-07-28Paper
https://portal.mardi4nfdi.de/entity/Q43629151998-04-01Paper
https://portal.mardi4nfdi.de/entity/Q43643691997-11-17Paper
Omega-termination is undecidable for totally terminating term rewriting systems1997-05-28Paper
An improved general path order1996-10-27Paper
https://portal.mardi4nfdi.de/entity/Q38199841988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37427031986-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Alfons Geser