Show simple item record

Frontiers of Combining Systems

14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

dc.contributor.editorSattler, Uli
dc.contributor.editorSuda, Martin
dc.date.accessioned2023-10-13T15:44:22Z
dc.date.available2023-10-13T15:44:22Z
dc.date.issued2023
dc.identifierONIX_20231013_9783031433696_36
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/76755
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.subject.otherartificial intelligence
dc.subject.othercomputer networks
dc.subject.otherautomated reasoning
dc.subject.othercomputer systems
dc.subject.otherdescription logics
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherconstraint solving
dc.subject.otherdecision procedures
dc.subject.othernetwork protocols
dc.subject.otherontologies
dc.subject.othersemantics
dc.subject.othersoftware architecture
dc.subject.othersoftware design
dc.subject.othersoftware engineering
dc.subject.othersoftware quality
dc.subject.otherverification and validation
dc.titleFrontiers of Combining Systems
dc.title.alternative14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-031-43369-6
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783031433696
oapen.relation.isbn9783031433689
oapen.imprintSpringer Nature Switzerland
oapen.series.number14279
oapen.pages275
oapen.place.publicationCham


Files in this item

Thumbnail
Name:
978-3-031-43369-6.pdf
Size:
5.798Mb
Format:
PDF
ISBN:
9783031433696
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record