Pages that link to "Item:Q5918244"
From MaRDI portal
The following pages link to Weak models of distributed computing, with connections to modal logic (Q5918244):
Displayed 12 items.
- Node labels in local decision (Q1625609) (← links)
- Counter machines and distributed automata -- a story about exchanging space and time (Q1656682) (← links)
- On the expressive power of message-passing neural networks as global feature map transformers (Q2103899) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- Emptiness problems for distributed automata (Q2182732) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Constant space and non-constant time in distributed computing (Q3300833) (← links)
- Communicating Finite-State Machines and Two-Variable Logic (Q3304111) (← links)
- (Q3384173) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- (Q5089274) (← links)
- (Q5090892) (← links)