Linked e-resources
Details
Table of Contents
Testing for Robotic Systems
Automated Termination and Complexity Analysis
Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting
Gonnord Confluence Framework: Proving Confluence with CONFident
Variant-based Equational Anti-unification
Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs
Building a Join-Optimizer for Souffl´e
From Infinity to Choreographies: Extraction for Unbounded Systems
Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming
On Correctness of Normal Logic Programs.
Automated Termination and Complexity Analysis
Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting
Gonnord Confluence Framework: Proving Confluence with CONFident
Variant-based Equational Anti-unification
Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs
Building a Join-Optimizer for Souffl´e
From Infinity to Choreographies: Extraction for Unbounded Systems
Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming
On Correctness of Normal Logic Programs.