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 twitter
Collaborated with:
E.Grädel R.Wilke
Talks about:
logic (2) existenti (1) fragment (1) equival (1) concept (1) semant (1) second (1) depend (1) union (1) order (1)

Person: Matthias Hoelzel

DBLP DBLP: Hoelzel:Matthias

Contributed to:

CSL 20182018
CSL 20202020

Wrote 2 papers:

CSL-2018-GradelH #concept #dependence #equivalence
Dependency Concepts up to Equivalence (EG, MH), p. 21.
CSL-2020-HoelzelW #higher-order #logic #on the #semantics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics (MH, RW), p. 16.
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.