Aart Middeldorp
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 - 36ROK: 1995CZYSTY TEKSTBIBTEX
