Počet záznamov: 1
Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems
Názov Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems Autor Cheung C.Y.L. Vyd.údaje Amsterdam : Stichting Mathematisch Centrum , 1993. - 12 s. Edícia CWI Jazyk dok. eng - angličtina Krajina NL - Holandsko MDT 519.68 Katal.org. SAVINFO Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. správy výskumné kniha
Signatúra Lokácia Dislokácia Info R TR 95/93 Ústav informatiky SAV len prezenčne
Počet záznamov: 1