BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Talks about:
between (1) algebra (1) semant (1) formal (1) relat (1) link (1)

Person: M. J. van Diepen

DBLP DBLP: Diepen:M=_J=_van

Contributed to:

VDM Europe 19901990

Wrote 1 papers:

VDME-1990-DiepenH #algebra #relational #semantics
A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.