A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “concurrent systems” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

The Directed Van Kampen Theorem in Lean
2023 arXiv (Cornell University) preprint Mathematics Homotopy and Cohomology in Algebraic Topology Open access

Henning Basold, Peter Bruin

0

citations

1 result