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:
der (3)
comput (2)
kampen (2)
squar (2)
waerden (2)

Stem van$ (all stems)

7 papers:

CSLCSL-2015-KontinenMSV #semantics #theorem
A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.
ICGTICGT-2014-KonigLSW #graph transformation
Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
ITiCSEITiCSE-2011-Connolly #education #web
Awakening Rip Van Winkle: modernizing the computer science web curriculum (RWC), pp. 18–22.
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).
CASECASE-2006-ZhangCVJG #assembly #modelling
Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.
STOCSTOC-2006-Gurvits #algorithm #approach #bound #proving
Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications (LG), pp. 417–426.
ICSTSAT-2003-DransfieldMT #satisfiability
Satisfiability and Computing van der Waerden Numbers (MRD, VWM, MT), pp. 1–13.

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.