Show simple item record

Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

dc.contributor.editorThiemann, René
dc.contributor.editorWeidenbach, Christoph
dc.date.accessioned2025-11-30T23:58:44Z
dc.date.available2025-11-30T23:58:44Z
dc.date.issued2026
dc.date.submitted2025-10-20T11:13:50Z
dc.identifierONIX_20251020T130859_9783032041678_30
dc.identifierhttps://library.oapen.org/handle/20.500.12657/107663
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/207672
dc.description.abstractThis open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025. The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.otherOpen 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.alternative15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-032-04167-8
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783032041678
oapen.relation.isbn9783032041661
oapen.imprintSpringer
oapen.pages406
oapen.place.publicationCham
dc.seriesnumber15979


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