Metric completion versus ideal completion

Authors:
Mila E. Majster-Cederbaum;Christel Baier
Affiliations:
Univ. Mannheim, Mannheim, Germany;Univ. Mannheim, Mannheim, Germany
Venue:
Theoretical Computer Science
Year:
1996

Citing 0
Cited 3

The topology of Mazurkiewicz traces

Theoretical Computer Science - Topology in computer science
On Topological Hierarchies of Temporal Properties

Fundamenta Informaticae
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract