Category:LNCS 1026
From BibNetWiki
Jump to:
navigation
,
search
Lecture Notes in Computer Science, Volume 1026
Articles in category "LNCS 1026"
There are 36 articles in this category.
A
A Condition for the Three Colourability of Planar Locally Path Graphs
A Framework for the Specification of Reactive and Concurrent Systems in Z
A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
All-Pairs Min-Cut in Sparse Networks
An Algorithm for Reducing Binary Branchings
Average Polynomial Time Is Hard for Exponential Time Under sn-Reductions
B
Branch and Bound on the Network Model
C
Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time
Computing a Largest Empty Anchored Cylinder, and Related Problems
D
Determinizing Buechi Asynchronous Automata
E
Efficient Algorithms for Vertex Arboricity of Planar Graphs
E cont.
Equational Axiomatization of Bicoercibility for Polymorphic Types
F
Foundations of software technology and theoretical computer science: 15th conference, Bangalore, India, December 18-20, 1995: proceedings
From Causal Consistency to Sequential Consistency in Shared Memory Systems
G
Generalized Temporal Verification Diagrams
L
Looking for MUM and DAD: text-text comparisons do help
M
Maximal Extensions of Simplification Orderings
Minimizing Space Usage in Evaluation of Expression Trees
Model Checking of Probabilistic and Nondeterministic Systems
O
Observation of Software for Distributed Systems with RCL
Observing Behaviour Categorically
On Parallel Complexity of Planar Triangulations
On Self-Testing without the Generator Bottleneck
On the Complexity of Bisimilarity for Value-Passing Processes
O cont.
On the Expressive Power of CCS
P
Partiality and Approximation Schemes for Local Consistency in Networks of Constraints
Path Balance Heuristic for Self-Adjusting Binary Search Trees
Pattern Matching in Compressed Texts
Polarized Name Passing
R
Reusing Batch Parsers as Incremental Parsers
S
Smooth Surfaces for Multi-Scale Shape Representation
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems
T
The Expressive Power of Indeterminate Primitives in Asynchronous Computation
The Transformation Calculus
V
Verifying Part of the ACCESS.bus Protocol Using PVS
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related