Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / Uli Sattler, Martin Suda, editors.
2023
QA9.A1 F76 2023eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Open access
Document Delivery Supplied
Open access
Details
Title
Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / Uli Sattler, Martin Suda, editors.
ISBN
9783031433696 (electronic bk.)
3031433696 (electronic bk.)
9783031433689
3031433696 (electronic bk.)
9783031433689
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (xvi, 275 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-43369-6 doi
Call Number
QA9.A1 F76 2023eb
Dewey Decimal Classification
005.1/31
Summary
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.
Note
Includes author index.
Access Note
Open access.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 20, 2023).
Added Author
Series
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 14279.
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science ; 14279.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources
Record Appears in
Table of Contents
Analysis of Programs and Equations
Unification
Decidable Fragments
Frameworks
Higher-order Theorem Proving.
Unification
Decidable Fragments
Frameworks
Higher-order Theorem Proving.