Travelled to:
1 × Finland
Collaborated with:
∅
Talks about:
logic
(1)
local
(1)
equat
(1)
Person:
Virgil Emil Cazanescu
DBLP: Cazanescu:Virgil_Emil
Contributed to:
1993
Wrote 1 papers:
DLT-1993-Cazanescu
#equation
#logic
Local Equational Logic II (
VEC
), pp. 210–221.
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
.