Pages that link to "Item:Q6084564"
From MaRDI portal
The following pages link to Efficient detection of restricted classes of global predicates (Q6084564):
Displaying 4 items.
- Producing Short Counterexamples Using “Crucial Events” (Q3512512) (← links)
- On Detecting Regular Predicates in Distributed Systems (Q3648715) (← links)
- Detection of Disjunctive Normal Form Predicate in Distributed Systems (Q5445747) (← links)
- Tolerance to asynchrony in algorithms for multiplication and modulo (Q6652457) (← links)