Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Title

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 23888 to 23907 of 31233
< previous   next >
PreviewIssue DateTitleAuthor(s)
14-Dec-2003On the Completeness of Full-Text Search Languages for XMLBotev, Chavdar; Amer-Yahia, Sihem; Shanmugasundaram, Jayavel
Sep-1999On the Completeness of Propositional Hoare LogicKozen, Dexter; Tiuryn, Jerzy
Feb-1990On the complexity of approximating the maximal inscribed ellipsoid for a polytopeKhachiyan, L. G.; Todd, M. J.
Jun-1993On the Complexity of Distributed Network DecompositionPanconesi, Alessandro; Srinivasan, Aravind
Aug-1988On the Complexity of Kinodynamic PlanningCanny, John; Donald, Bruce Randall; Reif, John; Xavier, Patrick G.
31-Aug-2011On The Complexity Of Mathematical Problems: Medvedev Degrees And Reverse MathematicsShafer, Paul
May-1991On the Complexity of ML Typability with OverloadingVolpano, Dennis M.; Smith, Geoffrey S.
Apr-1990On the complexity of preflow-push algorithms for maximum flow problemsTuncel, L.
Mar-1997On the Complexity of Reasoning in Kleene AlgebraKozen, Dexter
Dec-1974On the Complexity of Resolution Procedures for Theorem ProvingGalil, Zvi
Apr-1991On the Complexity of Shattering Using ArrangementsFreimer, Robert; Mitchell, Joseph S. B.; Piatko, Christine
8-May-2003On the Complexity of the Horn Theory of RELHardin, Chris; Kozen, Dexter
Jun-1985On the Computational Behavior of a Polynomial-Time Network Flow AlgorithmBland, R.; Jensen, D.
Jul-1989On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part IRenegar, J.
Jul-1989On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part IIRenegar, J.
Aug-1989On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part IIIRenegar, J.
Aug-1989On the Computational Complexity of Approximating Solutions for Real Algebraic FormulaeRenegar, J.
Feb-1974On the Computational Complexity of Program SchemataWeihrauch, K.
Mar-1974On the Computational Complexity of Scheme EquivalenceConstable, Robert L.; Hunt, Harry B., III; Sahni, Sartaj
3-May-2007ON THE COMPUTATION AND APPLICATION OF MULTI-PERIOD SECURITY-CONSTRAINED OPTIMAL POWER FLOW FOR REAL-TIME ELECTRICITY MARKET OPERATIONSWang, Hongye
Showing results 23888 to 23907 of 31233
< previous   next >

 

© 2014 Cornell University Library Contact Us