Alfons Geser

From MaRDI portal
Revision as of 13:35, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:851145

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:851145&oldid=6156812"
Powered by MediaWiki