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:
hierarchi (2)
program (2)
structur (1)
time (1)
bound (1)

Stem relativ$ (all stems)

11 papers:

ICLPICLP-2008-TruszczynskiW #composition #logic programming #source code
Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.
CSLCSL-2007-AehligCN #complexity
Relativizing Small Complexity Classes and Their Theories (KA, SAC, PN), pp. 374–388.
Relativized Options: Choosing the Right Transformation (BR, AGB), pp. 608–615.
The PMA and Relativizing Minimal Change for Action Update (PD, WL, EMB), pp. 258–269.
LICSLICS-1995-Gottlob #finite #quantifier
Relativized Logspace and Generalized Quantifiers over Finite Structures (GG), pp. 65–78.
ICALPICALP-1994-BuhrmanT #bound #on the
On the Cutting Edge of Relativization: The Resource Bounded Injury Method (HB, LT), pp. 263–273.
UP and the Low and High Hierarchies: A Relativized Separation (MJS, TJL), pp. 174–185.
Relativized Polynominal Time Hierarchies Having Exactly K Levels (KIK), pp. 245–253.
ICALPICALP-1987-LarsenM #bisimulation #protocol #using #verification
Verifying a Protocol Using Relativized Bisimulation (KGL, RM), pp. 126–135.
ICALPICALP-1982-Sipser #on the #set
On Relativization and the Existence of Complete Sets (MS), pp. 523–531.
STOCSTOC-1978-Rackoff #algorithm #probability
Relativized Questions Involving Probabilistic Algorithms (CR), pp. 338–342.

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.