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.accessioned2025-03-07T21:59:51Z
dc.date.available2025-03-07T21:59:51Z
dc.date.issued2023
dc.date.submitted2023-10-13T15:44:22Z
dc.identifierONIX_20231013_9783031433696_36
dc.identifierOCN: 1398308679
dc.identifierhttps://library.oapen.org/handle/20.500.12657/76755
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/168424
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.rightsopen access
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.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783031433696
oapen.relation.isbn9783031433689
oapen.imprintSpringer Nature Switzerland
oapen.pages275
oapen.place.publicationCham
dc.seriesnumber14279


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access