|
" Relational methods in computer science "
C. Brink, W. Kahl, G. Schmidt, eds.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
730504
|
| Doc. No
|
:
|
b550268
|
| Main Entry
|
:
|
C. Brink, W. Kahl, G. Schmidt, eds.
|
| Title & Author
|
:
|
Relational methods in computer science\ C. Brink, W. Kahl, G. Schmidt, eds.
|
| Publication Statement
|
:
|
Wien ; New York: Springer, ©1997.
|
| Series Statement
|
:
|
Advances in computing science.
|
| Page. NO
|
:
|
xiv, 272 pages : illustrations, portrait ; 24 cm.
|
| ISBN
|
:
|
3211829717
|
|
|
:
|
: 9783211829714
|
| Contents
|
:
|
I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Stroehlein).- Symbol Table.- Addresses of Contributors.
|
| Subject
|
:
|
Aufsatzsammlung.
|
| Subject
|
:
|
Computer science -- Mathematics.
|
| Subject
|
:
|
Relation algebras.
|
| LC Classification
|
:
|
QA76.9.M35C375 1997
|
| Added Entry
|
:
|
C Brink
|
|
|
:
|
Gunther Schmidt
|
|
|
:
|
W Kahl
|
| |