Overview

Full Product Details

Author:   Santiago Escobar ,  Laura Titolo
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032048479

ISBN 10:   3032048478
Pages:   207
Publication Date:   07 October 2025
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

.- Symbolic Computation and Verification Methods in Maude. .- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. .- Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP. .- Extending the FSyntax/Hiord Approach with Imperative Notation. .- Higher-Order Pattern Unification Modulo Similarity Relations. .- A Completion Procedure for Equational Rewriting Systems with Binders. .- Automated Certification of Logic Programs Groundness Analysis. .- Managing Analysis and Verification Information about Curry Packages. .- Program synthesis for geometric modeling. .- Recurrent Pairs Revisited. .- Logica and LogicLM Program Synthesis Evaluation. .- Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. .- Focusing Recursive LLM Descents with Plans Expressed as Logic Programs.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions