Theory of types and data description
Kybernetika (1978)
- Volume: 14, Issue: 5, page (313)-327
- ISSN: 0023-5954
Access Full Article
topHow to cite
topMaterna, Pavel. "Theory of types and data description." Kybernetika 14.5 (1978): (313)-327. <http://eudml.org/doc/27432>.
@article{Materna1978,
author = {Materna, Pavel},
journal = {Kybernetika},
keywords = {Data Description; Natural Languages; Modification of Church's Simple Theory of Types; Languages for Data Bases},
language = {eng},
number = {5},
pages = {(313)-327},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Theory of types and data description},
url = {http://eudml.org/doc/27432},
volume = {14},
year = {1978},
}
TY - JOUR
AU - Materna, Pavel
TI - Theory of types and data description
JO - Kybernetika
PY - 1978
PB - Institute of Information Theory and Automation AS CR
VL - 14
IS - 5
SP - (313)
EP - 327
LA - eng
KW - Data Description; Natural Languages; Modification of Church's Simple Theory of Types; Languages for Data Bases
UR - http://eudml.org/doc/27432
ER -
References
top- Fr. Ahrens H. Walter, Datenbanksysteme, Gruyter, Berlin-New York 1971. (1971)
- A. Church, A formulation of the simple theory of types, Journal of Symbolic Logic 5 (1940), 1, 56-68. (1940) Zbl0023.28901MR0001931
- T. M. V. Janssen P. van Emde Boas, On the proper treatment of referencing, dereferencing and assignment, Stichting mathematisch centrum, ZW94/77.
- S. Kaneff, ed., Picture language machines, Academic Press 1970. (1970)
- P. Materna K. Pala, Theoretical framework for syntax and semantics, Celostátní konference o kybernetice, Praha 1976, Sborník prací, 233 - 253. (1976)
- R. Montague, Universal Grammar, Theoria 36 (1970), 373 - 398. (1970) MR0307873
- R. Narasimhan, Natural Language Behaviour, In [4].
- A. Scheber J. Šturc, Relačný model báz dát, Informačné systémy 1976/3, 281-294. (1976)
- E. Stenius, Sets, Synthese 27/1, 2 (1974), 161-188. (1974) Zbl0316.02013MR0462903
- Bo Sundgren, An Infological Approach to Data Bases, URVAL Nr. 7, Stockholm 1973, 3-478. (1973)
- P. Tichý, An Approach to Intensional Analysis, Nous K(1971), 3, 273-297. (1971)
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.