BibSLEIGH — M_J_van_Diepen

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Collaborated with:

Talks about:

between (1) algebra (1) semant (1) formal (1) relat (1) link (1)

Person: M. J. van Diepen

DBLP: Diepen:M=_J=_van

Contributed to:

VDM Europe 1990

1990

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.