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:
M.Hoelzel
Talks about:
logic (2) existenti (1) fragment (1) semant (1) second (1) union (1) order (1) close (1) team (1)

Person: Richard Wilke

DBLP DBLP: Wilke:Richard

Contributed to:

CSL 20202020

Wrote 1 papers:

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.