Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / Uli Sattler, Martin Suda, editors.
FroCoS (Symposium) (14th : 2023 : Prague, Czech Republic); Sattler, Uli, editor.; Suda, Martin, editor.
2023
QA9.A1 F76 2023eb
Available Online

Linked e-resources

Linked Resource
Online Access
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.
Meeting Name
FroCoS (Symposium) (14th : 2023 : Prague, Czech Republic)
ISBN
9783031433696 (electronic bk.)
3031433696 (electronic bk.)
9783031433689
DOI
https://doi.org/10.1007/978-3-031-43369-6
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
Sattler, Uli, editor.
Suda, Martin, editor.
Series
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 14279.
LNCS sublibrary. SL 7, Artificial intelligence.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Analysis of Programs and Equations
Unification
Decidable Fragments
Frameworks
Higher-order Theorem Proving.

Browse Subjects

Show more subjects...

Statistics

from
to
Export