Frontiers of Combining Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Uli Sattler Martin Suda 

I S B N：(纸本) 9783031433689 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XVI, 275页

主 题 词：Artificial Intelligence Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Logics and Meanings of Programs Mathematical Logic and Formal Languages 

摘      要：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.