Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 141564

WAM Algebras - A Mathematical Study of Implementation, Part 2.

Boerger, Egon; Rosenzweig, Dean
WAM Algebras - A Mathematical Study of Implementation, Part 2. // Logic Programming, LNAI 592 / Voronkov, A. (ur.).
Berlin: Springer, 1992. str. 35-54 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 141564 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
WAM Algebras - A Mathematical Study of Implementation, Part 2.

Autori
Boerger, Egon ; Rosenzweig, Dean

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Logic Programming, LNAI 592 / Voronkov, A. - Berlin : Springer, 1992, 35-54

Skup
Second Russian Conference on Logic Programming

Mjesto i datum
Sankt Peterburg, Ruska Federacija, 11.09.91-16.09.91

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
WAM code; unification; compilation of terms

Sažetak
We refine the previous work by elaborating the WAM code for representation and unification of terms. The correctness proofs for this refinement includes environment trimming, Warren's variable classification and switching instructions.

Izvorni jezik
Engleski

Znanstvena područja
Matematika



POVEZANOST RADA

Projekti:
0120048

Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb

Profili:

Avatar Url Dean Rosenzweig (autor)

Citiraj ovu publikaciju:

Boerger, Egon; Rosenzweig, Dean
WAM Algebras - A Mathematical Study of Implementation, Part 2. // Logic Programming, LNAI 592 / Voronkov, A. (ur.).
Berlin: Springer, 1992. str. 35-54 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Boerger, E. & Rosenzweig, D. (1992) WAM Algebras - A Mathematical Study of Implementation, Part 2.. U: Voronkov, A. (ur.)Logic Programming, LNAI 592.
@article{article, author = {Boerger, Egon and Rosenzweig, Dean}, editor = {Voronkov, A.}, year = {1992}, pages = {35-54}, keywords = {WAM code, unification, compilation of terms}, title = {WAM Algebras - A Mathematical Study of Implementation, Part 2.}, keyword = {WAM code, unification, compilation of terms}, publisher = {Springer}, publisherplace = {Sankt Peterburg, Ruska Federacija} }
@article{article, author = {Boerger, Egon and Rosenzweig, Dean}, editor = {Voronkov, A.}, year = {1992}, pages = {35-54}, keywords = {WAM code, unification, compilation of terms}, title = {WAM Algebras - A Mathematical Study of Implementation, Part 2.}, keyword = {WAM code, unification, compilation of terms}, publisher = {Springer}, publisherplace = {Sankt Peterburg, Ruska Federacija} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.