BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:
Talks about:
context (2) reason (2) free (2) diagrammat (1) quantomat (1) trivial (1) overlap (1) diagram (1) string (1) famili (1)

Person: Vladimir Zamdzhiev

DBLP DBLP: Zamdzhiev:Vladimir

Contributed to:

CADE 20152015
GaM 20152015
ICGT 20152015

Wrote 3 papers:

CADE-2015-KissingerZ #diagrams #named #proving #reasoning
Quantomatic: A Proof Assistant for Diagrammatic Reasoning (AK, VZ), pp. 326–336.
GaM-2015-KissingerZ #exclamation
!-graphs with trivial overlap are context-free (AK, VZ), pp. 16–31.
ICGT-2015-KissingerZ #diagrams #equation #product line #reasoning #string
Equational Reasoning with Context-Free Families of String Diagrams (AK, VZ), pp. 138–154.

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.