The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for relativization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1992 (15) 1993-2003 (15) 2004-2016 (16) 2017-2023 (20)
Publication types (Num. hits)
article(31) incollection(3) inproceedings(32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 22 keywords

Results
Found 66 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Joseph S. Miller, Lawrence S. Moss The Undecidability of Iterated Modal Relativization. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF iterated relativization, modal logic, undecidability, Dynamic epistemic logic
106Jin-yi Cai, Osamu Watanabe 0001 Stringent Relativization. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Baris Aydinlioglu, Eric Bach 0001 Corrigendum to Affine Relativization: Unifying the Algebrization and Relativization Barriers. Search on Bibsonomy ACM Trans. Comput. Theory The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
53Baris Aydinlioglu, Eric Bach 0001 Affine Relativization: Unifying the Algebrization and Relativization Barriers. Search on Bibsonomy ACM Trans. Comput. Theory The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
53Baris Aydinlioglu, Eric Bach 0001 Affine Relativization: Unifying the Algebrization and Relativization Barriers. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2016 DBLP  BibTeX  RDF
48Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova An axiomatic approach to algebrization. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebrization, independence, relativization
46Lawrence S. Moss, Satish R. Thatte Generalization of Final Algebra Semantics by Relativization. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Scott Aaronson, Avi Wigderson Algebrization: a new barrier in complexity theory. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF communication complexity, oracles, arithmetization, interactive proofs, query complexity, low-degree polynomials
40Claudio Ferretti, Giancarlo Mauri Remarks on Relativisations and DNA Encodings. Search on Bibsonomy Aspects of Molecular Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jin-yi Cai, Osamu Watanabe 0001 On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy: Positive and Negative Results. Search on Bibsonomy COCOON The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Juris Hartmanis, Lane A. Hemachandra On Sparse Oracles Separating Feasible Complexity Classes. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
28Jeong Han Kim, Daniel R. Simon, Prasad Tetali Limits on the Efficiency of One-Way Permutation-Based Hash Functions. Search on Bibsonomy FOCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF cryptography, Oracle, complexity theory, relativization
28Heribert Vollmer, Klaus W. Wagner On Operators of Higher Types. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF set operator vs. word operator, translational methods, oracle, Operator, interactive protocol, relativization
28Georg Gottlob Collapsing Oracle-Tape Hierarchies. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tape, logspace, logarithmic space, machine model, complexity, query, oracle, circuit, Turing machine, generalized quantifier, relativization, bounded queries
27Andrei Popescu 0001, Dmitriy Traytel Admissible Types-to-PERs Relativization in Higher-Order Logic. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Shuichi Hirahara, Zhenjian Lu, Hanlin Ren Bounded Relativization. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2023 DBLP  BibTeX  RDF
27Wesley Calvert, Emma Grunner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano Normality, Relativization, and Randomness. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Gijs Wijnholds, Michael Moortgat Structural Ambiguity and its Disambiguation in Language Model Based Parsers: the Case of Dutch Clause Relativization. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Gijs Wijnholds, Michael Moortgat Structural Ambiguity and its Disambiguation in Language Model Based Parsers: the Case of Dutch Clause Relativization. Search on Bibsonomy CoNLL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Shuichi Hirahara, Zhenjian Lu, Hanlin Ren Bounded Relativization. Search on Bibsonomy CCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Rabanus Derr, Robert C. Williamson Fairness and Randomness in Machine Learning: Statistical Independence and Relativization. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Hanlin Ren, Rahul Santhanam A Relativization Perspective on Meta-Complexity. Search on Bibsonomy STACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Hanlin Ren, Rahul Santhanam A Relativization Perspective on Meta-Complexity. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2021 DBLP  BibTeX  RDF
27Tianrong Lin On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
27Quyen Nguyen Island effects in Vietnamese relativization: A formal judgment study. Search on Bibsonomy PACLIC The full citation details ... 2021 DBLP  BibTeX  RDF
27Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. Search on Bibsonomy ACM Trans. Archit. Code Optim. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Anatole Dahan, Anuj Dawar Relativization of Gurevich's Conjectures. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Anatole Dahan, Anuj Dawar Relativization of Gurevich's Conjectures. Search on Bibsonomy Fields of Logic and Computation III The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Kenshi Miyabe Uniform Relativization. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Ralph Christian Bottesch Relativization and Interactive Proof Systems in Parameterized Complexity Theory. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
27Antonín Dvorák, Michal Holcapek Relativization of Fuzzy Quantifiers: Initial Investigations. Search on Bibsonomy EUSFLAT/IWIFSGN (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Ralph Bottesch Relativization and Interactive Proof Systems in Parameterized Complexity Theory. Search on Bibsonomy IPEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Xin Kou Comitative Relational Nouns and Relativization of Comitative Case in Mandarin. Search on Bibsonomy CLSW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Stefan S. Dantchev, Barnaby Martin Relativization makes contradictions harder for Resolution. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi 0001 Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. Search on Bibsonomy J. Satisf. Boolean Model. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Andrei A. Muchnik, Andrei E. Romashchenko Stability of properties of Kolmogorov complexity under relativization. Search on Bibsonomy Probl. Inf. Transm. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
27André Nies, Frank Stephan 0001, Sebastiaan Terwijn Randomness, relativization and Turing degrees. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Holger Spakowski, Rahul Tripathi Degree Bounds on Polynomials and Relativization Theory. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Lance Fortnow The Role of Relativization in Complexity Theory. Search on Bibsonomy Bull. EATCS The full citation details ... 1994 DBLP  BibTeX  RDF
27Harry Buhrman, Leen Torenvliet On the Cutting Edge of Relativization: The Resource Bounded Injury Method. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
27Ricard Gavaldà A Positive Relativization of Polynomial Time Versus Polylog Space. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Stefano Stefani A Relativization Mechanism in Recursion Categories. Search on Bibsonomy J. Symb. Log. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Juris Hartmanis, Richard Chang 0001, Suresh Chari, Desh Ranjan, Pankaj Rohatgi Relativization: a Revisionistic Retrospective. Search on Bibsonomy Current Trends in Theoretical Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Juris Hartmanis, Richard Chang 0001, Jim Kadin, Stephen G. Mitchell Some Observations about Relativization of Space Bounded Computations. Search on Bibsonomy Current Trends in Theoretical Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Richard Chang 0001, Suresh Chari, Desh Ranjan, Pankaj Rohatgi Relativization: a revisionistic retrospective. Search on Bibsonomy Bull. EATCS The full citation details ... 1992 DBLP  BibTeX  RDF
27Hidetosi Sirai, Yutaka Tomioka Syntactic Constraints On Relativization In Japanese. Search on Bibsonomy COLING The full citation details ... 1992 DBLP  BibTeX  RDF
27Richard Chang 0001 An Example of a Theorem that has Contradictory Relativization and Diagonalization Proof. Search on Bibsonomy Bull. EATCS The full citation details ... 1990 DBLP  BibTeX  RDF
27Bernd Kirsig, Klaus-Jörn Lange Separation with the Ruzzo, Simon, and Tompa Relativization Implies DSPACE(log n) != NSPACE(log n). Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27Nobuyoshi Motohashi Preservation Theorem and Relativization Theorem For Cofinal Extensions. Search on Bibsonomy J. Symb. Log. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
27Antonio Di Nola, Aldo G. S. Ventre A relativization of the concept of synthesis in fuzzy set theory. Search on Bibsonomy Inf. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
27Michael Sipser On Relativization and the Existence of Complete Sets. Search on Bibsonomy ICALP The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
27Masazumi Hanazawa An Extension of the Notion of Relativization to Hilbert's ϵ-Symbol. Search on Bibsonomy Math. Log. Q. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
27Richard E. Ladner, Nancy A. Lynch Relativization of Questions About Log Space Computability. Search on Bibsonomy Math. Syst. Theory The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
27Michael I. Dekhtyar On the Relativization of Deterministic and Nondeterministic Complexity Classes. Search on Bibsonomy MFCS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
20Zoran Majkic, Bhanu Prasad 0001 Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers. Search on Bibsonomy Soft Computing Applications in Industry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Mark Steedman The Grammar of Scope. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Jin-yi Cai, Osamu Watanabe 0001 Random Access to Advice Strings and Collapsing Results. Search on Bibsonomy Algorithmica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Josef Urban MPTP 0.2: Design, Implementation, and Initial Experiments. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MPTP, Mizar, ATP, MPA, re-proving, proof discovery, MML
20Jin-yi Cai, Osamu Watanabe 0001 Random Access to Advice Strings and Collapsing Results. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Peter A. Fejer, Richard A. Shore Every incomplete computably enumerable truth-table degree is branching. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03D30, 03D25
20Steven Homer, Sarah Mocas Nonuniform Lower Bounds for Exponential Time Classes. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
20Bernd Borchert On the Acceptance Power of Regular Languages. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
20Johann A. Makowsky, Y. B. Pnueli Oracles and Quantifiers. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Ricard Gavaldà, José L. Balcázar Strong and Robustly Strong Polynomial Time Reducibilities to Sparse Sets. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
20Martín Abadi, Eric Allender, Andrei Z. Broder, Joan Feigenbaum, Lane A. Hemachandra On Generating Solved Instances of Computational Problems. Search on Bibsonomy CRYPTO The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
20Juris Hartmanis, Neil Immerman On Complete Problems for NP$\cap$CoNP. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license