13 results on '"Yamada, Akihisa"'
Search Results
2. Architecture-Guided Test Resource Allocation via Logic
Catalog
Books, media, physical & digital resources
3. Multi-Dimensional Interpretations for Termination of Term Rewriting
4. Relational Differential Dynamic Logic
5. Reachability Analysis for Termination and Confluence of Rewriting
6. The Termination and Complexity Competition
7. TOOLympics 2019: An Overview of Competitions in Formal Methods
8. A Formalization of the LLL Basis Reduction Algorithm
9. On Probabilistic Term Rewriting
10. Certifying Safety and Termination Proofs for Integer Transition Systems
11. Algebraic Numbers in Isabelle/HOL
12. Reducing Relative Termination to Dependency Pair Problems
13. AC-KBO Revisited
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.