Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBIT, Volume 32, 1992
Volume 32, Number 1, 1992
- Loïc Colson:
On List Primitive Recursion and the Complexity of Computing inf. 5-9 - Thierry Coquand:
The Paradox of Trees in Type Theory. 10-14 - Joëlle Despeyroux:
Theo: An Interactive Proof Development System. 15-29 - Daniel Fredholm, Svetozar Serafimovski:
Partial Inductive Definitions as Type-Systems for lambda-Terms. 30-44 - Lars Hallnäs:
On Systems of Definitions, Induction and Recursion. 45-63 - Grigori Mints:
Complexity of Subclasses of the Intuitionistic Propositional Calculus. 64-69 - Erik Palmgren, Viggo Stoltenberg-Hansen:
Remarks on Martin-Löf's Partial Type Theory. 70-83 - Anne Salvesen:
On Specifications, Subset Types and Interpretation of Proposition in Type Theory. 84-101
Volume 32, Number 2, 1992
- Ravi B. Boppana, Magnús M. Halldórsson:
Approximating Maximum Independent Sets by Excluding Subgraphs. 180-196 - Stefan Arnborg, Andrzej Proskurowski:
Canonical Representations of Partial 2- and 3-Trees. 197-214 - Grammati E. Pantziou
, Paul G. Spirakis, Christos D. Zaroliagis:
Efficient Parallel Algorithms for Shortest Paths in Planar Digraphs. 215-236 - David Eppstein:
Finding the k Smallest Spanning Trees. 237-248 - John Hershberger, Subhash Suri:
Applications of a Semi-Dynamic Convex Hull Algorithm. 249-267 - Marc J. van Kreveld, Mark H. Overmars, Pankaj K. Agarwal:
Intersection Queries in Sets of Disks. 268-279 - Christos Levcopoulos, Andrzej Lingas:
Fast Algorithms for Greedy Triangulation. 280-296 - Ricardo A. Baeza-Yates, Gaston H. Gonnet, Nivio Ziviani:
Improved Bounds for the Expected Behaviour of AVL Trees. 297-315 - Thomas Papadakis, J. Ian Munro, Patricio V. Poblete:
Average Search and Update Costs in Skip Lists. 316-332
Volume 32, Number 3, 1992
- Johann Blieberger, Ulrich Schmid:
FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. 370-383 - Mamoru Hoshi, Philippe Flajolet:
Page Usage in a Quadtree Index. 384-402 - Rong-Hong Jan, Lih-Hsing Hsu, Yueh-Ying Lee:
The Most Vital Edges with Respect to the Number of Spanning Trees in Two-Terminal Series-Parallel Graphs. 403-412 - Mark Levene, George Loizou:
Inferring Null Join Dependencies in Relational Databases. 413-429 - Harry G. Mairson:
The Effect of Table Expansion on the Program Complexity of Perfect Hash Funtions. 430-440
Volume 32, Number 4, 1992
- Tung-Shou Chen, Wei-Pang Yang, Richard C. T. Lee:
Amortized Analysis of Some Disk Scheduling Algorithms: SSTF, SCAN, and N-Step SCAN. 546-558 - Kris Coolsaet, Hans E. De Meyer, Veerle Fack:
Optimal Algorithms for Total Exchange without Buffering on the Hypercube. 559-569 - Jeannette M. de Graaf, Walter A. Kosters:
Expected Heights in Heaps. 570-579 - Jyrki Katajainen, Tomi Pasanen:
Stable Minimum Space Partitioning in Linear Time. 580-585 - Stephan Olariu, James L. Schwing, Jingyuan Zhang:
A Constant-Time Channel-Assignment Algorithm on Reconfigurable Meshes. 586-597 - A. Louise Perkins:
A Mixed Directed-Undirected Data Structure for a Parallel Implementation of a Domain Decomposition Algorithm. 598-608 - Chang-Wu Yu, Gen-Huey Chen:
The Weighted Maximum Independent Set Problem in Permutation Graphs. 609-618
a service of 
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 2024-04-25 05:29 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:
