Total termination of term rewriting in undecidable

von Zantema, Hans
Veröffentlicht 1994

Complexity of Automatic Sequences

von Zantema, Hans
Veröffentlicht in International Conference on Language and Automata Theory and Applications (14. : 2021 : Mailand) Language and automata theory and applications (2020)

Playing with infinity : turtles, patterns, and pictures

von Zantema, Hans
Veröffentlicht 2024

Non-looping rewriting

von Zantema, Hans
Veröffentlicht 1996

A complete characterization of termination of 0p1q→1r0s

von Zantema, Hans
Veröffentlicht 1994

Liveness in rewriting

von Giesl, Jürgen
Veröffentlicht 2002

Simple termination revisited

von Middeldorp, Aart
Veröffentlicht 1994

Simple termination revisited

von Middeldorp, Aart
Veröffentlicht 1993

Basic process algebra with iteration : completeness of its equational axioms

von Fokkink, Willem Jan
Veröffentlicht 1993

Basic process algebra with iteration : completeness of its equational axioms

von Fokkink, Willem J.
Veröffentlicht 1993

Transforming termination by self-labelling

von Middeldorp, Aart
Veröffentlicht 1996

Deadlock in Packet Switching Networks

von Stramaglia, Anna
Veröffentlicht in FSEN (9. : 2021 : Online) Fundamentals of Software Engineering (2021)