Pages that link to "Item:Q5308432"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308432):
Displaying 6 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Abstract neural networks (Q2233525) (← links)
- View-Augmented Abstractions (Q2814101) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
