Automated Deduction – CADE 29
Springer Nature
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
| Chapter title |
Program Synthesis in Saturation
|
|---|---|
| Chapter number | 18 |
| Book title |
Automated Deduction – CADE 29
|
| Published in |
arXiv, September 2023
|
| DOI | 10.1007/978-3-031-38499-8_18 |
| Book ISBNs |
978-3-03-138498-1, 978-3-03-138499-8
|
| Authors |
Hozzová, Petra, Kovács, Laura, Norman, Chase, Voronkov, Andrei, Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov |