| 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. |
Další formáty:
BibTeX
LaTeX
RIS
@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 - JOUR
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.
|
