Frontiers of Combining Systems
In: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; (2023)
Online
E-Book
- 275
Zugriff:
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
Titel: |
Frontiers of Combining Systems
|
---|---|
Autor/in / Beteiligte Person: | Sattler, Uli ; Suda, Martin |
Link: | |
Quelle: | Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; (2023) |
Veröffentlichung: | Cham: Springer Nature; Springer Nature Switzerland, 2023 |
Medientyp: | E-Book |
Umfang: | 275 |
ISBN: | 978-3-031-43369-6 (print) ; 978-3-031-43368-9 (print) ; 3-031-43369-6 (print) ; 3-031-43368-8 (print) |
DOI: | 10.1007/978-3-031-43369-6 |
Schlagwort: |
|
Sonstiges: |
|