Amanote Research
Register
Sign In
Computing and Verifying Depth Orders
doi 10.1145/142675.142708
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1992
Authors
Mark de Berg
Mark Overmars
Otfried Schwarzkopf
Publisher
ACM Press
Related search
On Computing Isomorphisms of Equation Orders
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Computing Depth From Temporal Cross-Correlation:
A Depth-First Search Algorithm for Computing Pseudo-Closed Sets
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Verifying and Validating Simulation Models
Verifying Fence Elimination Optimisations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Computations With State
Group Rings Which Are V-Hc Orders and Krull Orders
Proceedings of the Edinburgh Mathematical Society
Mathematics
Verifying One Hundred Prisoners and a Lightbulb
Journal of Applied Non-Classical Logics
Philosophy
Logic
Verifying Authentication Protocol Implementations
