A First-Order Logic with Frames
The work
| Title | A First-Order Logic with Frames |
|---|---|
| Authors | Adithya Murali; Lucas Peña; Christof Löding; P. Madhusudan |
| Type | conference paper |
| Year | 2020 |
| Citekey | murali2020firstorder |
Where it appeared
| Published in | Programming Languages and Systems |
|---|---|
| Publisher | Springer |
| Pages | 515--543 |
Identifiers
| DOI | 10.1007/978-3-030-44914-8_19 |
|---|---|
| OpenAlex | W3004012315 |
| ISBN | 978-3-030-44914-8 |
Access
| Landing page | https://doi.org/10.1007/978-3-030-44914-8_19 |
|---|
Abstract
Exact minimization of ω-automata is a difficult problem and heuristic algorithms are a subject of current research. We propose several new approaches to reduce the state space of deterministic parity automata. These are based on extracting information from structures within the automaton, such as strongly connected components, coloring of the states, and equivalence classes of given relations, to determine states that can safely be merged. We also establish a framework to generalize the notion of quotient automata and uniformly describe such algorithms. The description of these procedures consists of a theoretical analysis as well as data collected from experiments.
Copy held
| Kind | PDF, 490.7 kB |
|---|---|
| Retrieved | 2026-08-06 |
| Held | local, for personal reference |
| Where it came from | https://link.springer.com/content/pdf/10.1007/978-3-030-44914-8_19.pdf?error=cookies_not_supported&code=d49e7071-c56e-434f-b10e-f9c8ffe47d20 |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{murali2020firstorder,
title = {A First-Order Logic with Frames},
author = {Adithya Murali and Lucas Peña and Christof Löding and P. Madhusudan},
year = {2020},
booktitle = {Programming Languages and Systems},
pages = {515--543},
publisher = {Springer},
doi = {10.1007/978-3-030-44914-8_19},
isbn = {978-3-030-44914-8},
url = {https://doi.org/10.1007/978-3-030-44914-8_19},
}
This record lives at https://refs.drheap.org/murali2020firstorder/ and will keep doing so.