Search results for "corollaries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Andreas Weiermann	A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
13	Barbara D. Birchler, Abdol-Hossein Esfahanian, Eric Torng	Sufficient Conditions for Optimal Multicast Communication.	ICPP	1997	DBLP DOI BibTeX RDF	Line switching, Shortest Path, Multicast Communication, Oblivious Routing, Direct Network
13	Eric A. Wan, Françoise Beaufays	Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
13	Maren Hinrichs, Gerd Wechsung	Time Bounded Frequency Computations.	CCC	1997	DBLP DOI BibTeX RDF	Frequency Computation, Hierarchy of frequency classes under polynomial time bounds, Complexity Theory
13	Amnon Shashua, Nassir Navab	Relative Affine Structure: Canonical Model for 3D From 2D Geometry and Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	reprojection, projective reometry, algebraic and geometric invariants, Structure from motion, alignment, visual recognition
13	Paul H. Edelman, Victor Reiner	Free Arrangements and Rhombic Tilings.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Peter W. Kopke	State Equivalences for Rectangular Hybrid Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
13	Jens Palsberg	Comparing Flow-Based Binding-Time Analyses.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Wolfgang Merkle, Yongge Wang	Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities.	MFCS	1995	DBLP DOI BibTeX RDF
13	Christos Levcopoulos, Andrzej Lingas, Cao Wang	On Parallel Complexity of Planar Triangulations.	FSTTCS	1995	DBLP DOI BibTeX RDF
13	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
13	Thomas Andreae, Michael Nölle, Gerald Schreiber	Cartesian Products of Graphs as Spanning Subgraphs of De Bruijn Graphs (Extended Abstract).	WG	1994	DBLP DOI BibTeX RDF	processor networks, parallel image processing and pattern recognition, dilation, graph embeddings, massively parallel computers, Cartesian product, de Bruijn graphs
13	Yves Moinard, Raymond Rolland	Around a Powerful Property of Circumscriptions.	JELIA	1994	DBLP DOI BibTeX RDF
13	Arnaud Durand 0001, Solomampionona Ranaivoson	First-Order Spectra with One Binary Predicate.	CSL	1994	DBLP DOI BibTeX RDF
13	Louis D. Nel	Differential calculus founded on an isomorphism.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categorical methods, differential calculus, differentiation theory, foundational isomorphism
13	Jon G. Riecke, Ramesh Subrahmanyam	Algebraic Reasoning and Completeness in Typed Languages.	POPL	1993	DBLP DOI BibTeX RDF
13	Albrecht Hoene, Arfst Nickelsen	Counting, Selecting, adn Sorting by Query-Bounded Machines.	STACS	1993	DBLP DOI BibTeX RDF
13	David Pearce 0001	Answer Sets and Nonmonotonic S4.	ELP	1993	DBLP DOI BibTeX RDF
13	Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez	On Weighted T-Systems.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	weighted T-graphs, Structure theory, Marked Graphs
13	Ulrich Hertrampf	Locally Definable Acceptance Types for Polynomial Time Machines.	STACS	1992	DBLP DOI BibTeX RDF
13	Ming-Jye Sheu, Timothy J. Long	The Extended Low Hierarchy Is an Infinite Hierarchy.	STACS	1992	DBLP DOI BibTeX RDF
13	Kenji Yamanishi	Probably Almost Discriminative Learning.	COLT	1992	DBLP DOI BibTeX RDF
13	Daniel J. Dougherty	Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract).	RTA	1991	DBLP DOI BibTeX RDF
13	Dorit S. Hochbaum, J. George Shanthikumar	Convex Separable Optimization Is Not Much Harder than Linear Optimization	J. ACM	1990	DBLP DOI BibTeX RDF
13	Wayne Snyder	Higher Order E-Unification.	CADE	1990	DBLP DOI BibTeX RDF
13	Kurt Sieber	Relating Full Abstraction Results for Different Programming Languages.	FSTTCS	1990	DBLP DOI BibTeX RDF
13	Thomas G. Windeknecht	Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
13	Gerhard Buntrock, Albrecht Hoene	Reversals and Alternation.	STACS	1989	DBLP DOI BibTeX RDF
13	Myoung-Ho Kim, Sakti Pramanik	Optimal File Distribution For Partial Match Retrieval.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
13	Vijay V. Vazirani	NC Algorithms for Computing the Number of Perfect Matchings in K3, 3-free Graphs and Related Problems.	SWAT	1988	DBLP DOI BibTeX RDF
13	Michael McKenna	Worst-Case Optimal Hidden-Durface Removal.	ACM Trans. Graph.	1987	DBLP DOI BibTeX RDF
13	Michael B. Dillencourt	Toughness and Delaunay Triangulations.	SCG	1987	DBLP DOI BibTeX RDF
13	Oded Shmueli	Decidability and Expressiveness of Logic Queries.	PODS	1987	DBLP DOI BibTeX RDF
13	Seymour Ginsburg, Richard Hull 0001	Sort sets in the relational model.	J. ACM	1986	DBLP DOI BibTeX RDF
13	Klaus-Jörn Lange	Decompositions of Nondeterministic Reductions (Extended Abstract).	ICALP	1986	DBLP DOI BibTeX RDF
13	Paul M. B. Vitányi	The Simple Roots of Real-Time Computation Hierarchies (Preliminary Version).	ICALP	1984	DBLP DOI BibTeX RDF
13	Seymour Ginsburg, Richard Hull 0001	Sort Sets in the Relational Model.	PODS	1983	DBLP DOI BibTeX RDF
13	Rivi Sherman, Amir Pnueli, David Harel	Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.	POPL	1982	DBLP DOI BibTeX RDF
13	Jan Reiterman, Vera Trnková	On Representations of Dynamic Algebras with Reversion.	MFCS	1981	DBLP DOI BibTeX RDF
13	David Harel	Recursion in Logics of Programs.	POPL	1979	DBLP DOI BibTeX RDF
13	Hartmut Ehrig, Barry K. Rosen	Concurrency of Manipulations in Multidimensional Information Structures.	MFCS	1978	DBLP DOI BibTeX RDF	Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties
13	Petr Hájek 0001	Arithmetical Complexity of Some Problems in Computer Science.	MFCS	1977	DBLP DOI BibTeX RDF
13	Naftaly H. Minsky	On Interaction with Data Bases.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	Sub-schema, Privacy, Integrity, Abstraction, Data base