Hans Zantema
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Simple termination of rewrite systems Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 1 / s. 31 - 361995CZYSTY TEKST
Aart Middeldorp, Hans Zantema, Simple termination of rewrite systems, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 31 - 36
BIBTEX@Article{ authors = " Aart Middeldorp, Hans Zantema", title = "Simple termination of rewrite systems", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "31 - 36" }
