Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

A Formal Specification of Prolog by Tree Algebras (CROSBI ID 495317)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Boerger, Egon ; Rosenzweig Dean A Formal Specification of Prolog by Tree Algebras // Information Technology Interfaces / V. Ceric, V. Dobric, V. Luzar, R. Paul (ur.). Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1991. str. 513-518-x

Podaci o odgovornosti

Boerger, Egon ; Rosenzweig Dean

engleski

A Formal Specification of Prolog by Tree Algebras

Prompted by discussion on the international Prolog standardization committee, this paper suggests to replace the stack based model by a pure tree model for Prolog.

Prolog; standardization; tree-model

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

513-518-x.

1991.

objavljeno

Podaci o matičnoj publikaciji

Information Technology Interfaces

V. Ceric, V. Dobric, V. Luzar, R. Paul

Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce)

Podaci o skupu

Information Technology Interfaces

predavanje

01.01.1991-01.01.1991

Zagreb, Hrvatska

Povezanost rada

Matematika