Object modelling using lambda-calculus for information systems
(abstract)

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

D 1992

Object modelling using lambda-calculus for information systems (abstract)

ZLATUŠKA, Jiří

Základní údaje

Originální název

Object modelling using lambda-calculus for information systems (abstract)

Název anglicky

Object modelling using lambda-calculus for information systems (abstract)

Autoři

ZLATUŠKA, Jiří

Vydání

Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229), s. 23-23, 1992

Nakladatel

E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds.

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

není předmětem státního či obchodního tajemství

Změněno: 20. 8. 2004 12:37, Irena Hudečková

ZLATUŠKA, Jiří. Object modelling using lambda-calculus for information systems (abstract). In Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229). E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds., 1992, s. 23.

@inproceedings{557008,
   author = {Zlatuška, Jiří},
   booktitle = {Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229)},
   pages = {23-23},
   publisher = {E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds.},
   title = {Object modelling using lambda-calculus for information systems (abstract)},
   year = {1992}
}

TY  - CONF
ID  - 557008
AU  - Zlatuška, Jiří
PY  - 1992
TI  - Object modelling using lambda-calculus for information systems (abstract)
PB  - E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds.
ER  -

ZLATUŠKA, Jiří. Object modelling using lambda-calculus for information systems (abstract). In \textit{Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229)}. E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds., 1992, s.~23.