瓦莱里亚诺维茨卡;诺维茨基,B。 计算机编程的元数学基本概念。 (英语) Zbl 1108.68078号 安理大学。布达普。Rolando Eötvös,教派。计算。 23, 193-212 (2004).MSC公司:68问题65 08A70号 18A99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Novitzká}和\textit{B.Novitzky},安理大学。布达普。Rolando Eötvös,教派。计算。23、193--212(2004;Zbl 1108.68078)
瓦利亚州诺维茨卡 Anna包的形式语义。 (英语) 兹比尔0718.68051 安理大学。布达普。Rolando Eötvös,教派。计算。 10, 67-82 (1989).MSC公司:68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Novitzka},安理工大学。布达普。Rolando Eötvös,教派。计算。10、67-82(1989年;Zbl 0718.68051)