Pages that link to "Item:Q6084564"

The following pages link to Efficient detection of restricted classes of global predicates (Q6084564):

Displaying 3 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)