Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Otfried Schwarzkopf
Computing and Verifying Depth Orders
Related publications
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 Computations With State
Group Rings Which Are V-Hc Orders and Krull Orders
Proceedings of the Edinburgh Mathematical Society
Mathematics
Verifying Fence Elimination Optimisations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying 3G License Coverage Requirements
Verifying One Hundred Prisoners and a Lightbulb
Journal of Applied Non-Classical Logics
Philosophy
Logic
