BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
phrase (2)
base (2)
logic (2)
model (2)
size (1)

Stem insepar$ (all stems)

4 papers:

KRKR-2014-BotoevaKRWZ #knowledge base #logic #query
Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).
Integrating phrase inseparability in phrase-based model (LS, JYN), pp. 708–709.
CSLCSL-1992-AanderaaJ #linear #logic #recursion
Recursive Inseparability in Linear Logic (SA, HRJ), pp. 5–13.
CSLCSL-1988-Gradel #complexity #modelling #nondeterminism
Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes (EG), pp. 118–137.

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.