The following pages link to Marijana Lazić (Q314479):
Displaying 6 items.
- Finite generation of congruence preserving functions (Q314481) (← links)
- A dynamic epistemic logic analysis of the equality negation task (Q777882) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- A reduction theorem for randomized distributed algorithms under weak adversaries (Q2234073) (← links)
- Complexity of Verification and Synthesis of Threshold Automata (Q6485862) (← links)
- Wait-free solvability of equality negation tasks (Q6487538) (← links)
