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