Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seitenumfang31
FachzeitschriftLogical methods in computer science
Jahrgang21
Ausgabenummer4
PublikationsstatusVeröffentlicht - 2025
Peer-Review-StatusJa

Externe IDs

Scopus 105020265914
ORCID /0000-0002-4049-221X/work/199212531

Schlagworte