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:
closur (2)
languag (2)
lead (1)
theorem (1)
vdu (1)

Stem downward$ (all stems)

6 papers:

ICALPICALP-v2-2015-Zetzsche #approach
An Approach to Computing Downward Closures (GZ), pp. 440–451.
ICALPICALP-v2-2010-HabermehlMW #petri net
The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
PODSPODS-2009-Figueira #satisfiability #similarity #testing #xpath
Satisfiability of downward XPath with data equality tests (DF), pp. 197–206.
POPLPOPL-2009-MorihataMHT #divide and conquer #morphism #theorem
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer (AM, KM, ZH, MT), pp. 177–185.
Variation of sitting posture in work with VDU’s. The effect of downward gaze (KIF, IL), pp. 56–60.
PLDISCC-1982-Turba #execution
A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.

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.