Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Authors: Uli Sattler, Martin Suda - Lecture notes in computer science 2023 cited by 5

Open access proceedings of FroCoS 2023 on analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.