default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, October 1999
- Jörg Flum, Martin Grohe:
Fixed-parameter tractability, definability, and model checking. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
What's Up with Downward Collapse: Using the Easy-Hard Technique to Link Boolean and Polynomial Hierarchy Collapses. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
R1-ttSN(NP) Distinguishes Robust Many-One and Turing Completeness. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
An Introduction to Query Order. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Query Order and the Polynomial Hierarchy. - Lane A. Hemaspaandra, Harald Hempel, Gerd Wechsung:
Self-Specifying Machines. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
A Downward Collapse within the Polynomial Hierarchy. - Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
Translating Equality Downwards. - Therese Biedl, Erik D. Demaine, Martin L. Demaine, Sylvain Lazard, Anna Lubiw, Joseph O'Rourke, Mark H. Overmars, Steve Robbins, Ileana Streinu, Godfried T. Toussaint, Sue Whitesides:
Locked and Unlocked Polygonal Chains in 3D. - Harry Buhrman, Ronald de Wolf:
Communication Complexity Lower Bounds by Polynomials. - Anand Venkataraman:
A statistical model for word discovery in child directed speech. - Mark Reynolds:
The Complexity of Temporal Logic over the Reals. - Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou:
Map Graphs. - Randal E. Bryant, Steven M. German, Miroslav N. Velev:
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic. - Naren Ramakrishnan:
PIPE: Personalizing Recommendations via Partial Evaluation. - Jürgen Dix, Mirco Nanni, V. S. Subrahmanian:
Probabilistic Agent Programs. - Jeff Erickson:
Finite-resolution hidden surface removal. - S. Y. Wang:
Decoupling Control from Data for TCP Congestion Control. - Roberto Baldoni, Francesco Quaglia, Michel Raynal:
Consistent Checkpointing in Distributed Databases: Towards a Formal Approach. - Atsushi Fujii, Kentaro Inui, Takenobu Tokunaga, Hozumi Tanaka:
Selective Sampling for Example-based Word Sense Disambiguation. - Prasan Roy, S. Seshadri, S. Sudarshan, Siddhesh Bhobe:
Efficient and Extensible Algorithms for Multi Query Optimization. - Mark-Jan Nederhof:
Practical experiments with regular approximation of context-free languages. - Alessio Guglielmi:
A System of Interaction and Structure. - Therese Biedl, Erik D. Demaine, Martin L. Demaine, Sylvain Lazard, Anna Lubiw, Joseph O'Rourke, Steve Robbins, Ileana Streinu, Godfried T. Toussaint, Sue Whitesides:
On Reconfiguring Tree Linkages: Trees can Lock. - Ioannis Kontoyiannis:
Efficient sphere-covering and converse measure concentration via generalized coding theorems. - José Ignacio Farrán:
Rational points, genus and asymptotic behaviour in reduced algebraic curves over finite fields. - José Ignacio Farrán:
Decoding Algebraic Geometry codes by a key equation. - Antonio Campillo, José Ignacio Farrán:
Computing Weierstrass semigroups and the Feng-Rao distance from singular plane models. - Alexei E. Ashikhmin, Alexander Barg, Simon Litsyn:
Polynomial method in coding and information theory. - Michael B. Dillencourt, David Eppstein, Daniel S. Hirschberg:
Geometric Thickness of Complete Graphs. - Edith Hemaspaandra, Lane A. Hemaspaandra, Marius Zimand:
Almost-Everywhere Superiority for Quantum Computing.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-20 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
