Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Uli Sattler , Martin SudaPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 14279 Weight: 0.450kg ISBN: 9783031433689ISBN 10: 3031433688 Pages: 275 Publication Date: 15 September 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsAnalysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
