Frontiers of Combining Systems

Martin Suda

ISBN 10: 3031433688 / ISBN 13: 9783031433689

Published by Springer Nature Switzerland Okt 2023, 2023

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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 aregrouped 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. 292 pp. Englisch.

Seller Inventory # 9783031433689

Bibliographic Details

• Title: Frontiers of Combining Systems
• Publisher: Springer Nature Switzerland Okt 2023
• Publication Date: 2023
• Language: English
• ISBN 10: 3031433688
• ISBN 13: 9783031433689
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 16D millimeters 235 millimeters width by 155 millimeters height by 16 millimeters depth
• Weight: 446 grams

About this title

Synopsis

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.