@article{1480682,
      note = {Includes author index.},
      author = {Sattler, Uli, and Suda, Martin,},
      url = {http://library.usi.edu/record/1480682},
      title = {Frontiers of combining systems : 14th International  Symposium, FroCoS 2023, Prague, Czech Republic, September  20-22, 2023, Proceedings /. FroCoS (Symposium)},
      abstract = {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 RelatedMethods, 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.},
      doi = {https://doi.org/10.1007/978-3-031-43369-6},
      recid = {1480682},
      pages = {1 online resource (xvi, 275 pages) :},
}