Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / Boris Konev, Giles Reger (eds.).
FroCoS (Symposium) (13th : 2021 : Birmingham, England); Konev, Boris, editor.; Reger, Giles, editor.
2021
QA9.A1 F76 2021
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / Boris Konev, Giles Reger (eds.).
Meeting Name FroCoS (Symposium) (13th : 2021 : Birmingham, England)
ISBN 9783030862053 (electronic bk.)
3030862054 (electronic bk.)
9783030862046
3030862046
DOI https://doi.org/10.1007/978-3-030-86205-3
Published Cham : Springer, [2021]
Copyright ©2021
Language English
Description 1 online resource : illustrations (some color)
Other Standard Identifiers 10.1007/978-3-030-86205-3 doi
Call Number QA9.A1 F76 2021
Dewey Decimal Classification 005.1/31
Summary This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed September 8, 2021).
Added Author Konev, Boris, editor.
Reger, Giles, editor.
Series Lecture notes in computer science ; 12941.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form Frontiers of combining systems.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Calculi and Unification
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Non-Disjoint Combined Unification and Closure by Equational Paramodulation
Symbol Elimination and Applications to Parametric Entailment Problems
On the copy complexity of width 3 Horn constraint systems
Description Logics Restricted Unification in the Description Logic FL0
Combining Event Calculus and Description Logic Reasoning via Logic Programming
Semantic Forgetting in Expressive Description Logics
Interactive Theorem Proving Improving Automation for Higher-order Proof Steps
JEFL: Joint Embedding of Formal Proof Libraries
Machine Learning Fast and Slow Enigmas and Parental Guidance
Vampire With a Brain Is a Good ITP Hammer
Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization
Quantifier Simplification by Unification in SMT
Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems
Formal Analysis of Symbolic Authenticity
Formal Verification of a Java Component Using the RESOLVE Framework.

Browse Subjects

Show more subjects...

Statistics

from
to
Export