BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Y.Chen J.Flum
Talks about:
slicewis (1) quantifi (1) order (1) logic (1) first (1) defin (1) bound (1) rank (1)

Person: Xuangui Huang

DBLP DBLP: Huang:Xuangui

Contributed to:

CSL 20172017

Wrote 1 papers:

CSL-2017-ChenFH #bound #first-order #logic #quantifier #rank #slicing
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank (YC, JF, XH), 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.