Text
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Buku ini merupakan hasil dari Simposium Internasional ke-14 tentang Batas-batas Penggabungan Sistem, FroCoS 2023, yang diadakan di Praha, Republik Ceko, pada bulan September 2023. Simposium ini diselenggarakan bersamaan dengan Konferensi Internasional ke-32 tentang Penalaran Otomatis dengan Tableaux Analitik dan Metode Terkait, TABLEAUX 2023. Ke-14 makalah yang dipresentasikan telah ditinjau secara menyeluruh dan dipilih dari 22 makalah berkualitas tinggi yang diserahkan. Makalah-makalah tersebut dikelompokkan dalam volume menurut klasifikasi topik berikut: analisis program dan persamaan; penyatuan; fragmen yang dapat diputuskan; kerangka kerja; pembuktian teorema tingkat tinggi.
No copy data
No other version available