31 results on '"Nishida, Naoki"'
Search Results
2. On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
3. ReverCSP: Time-Travelling in CSP Computations
4. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
5. Characterizing Compatible View Updates in Syntactic Bidirectionalization
6. Loop Detection by Logically Constrained Term Rewriting
7. CauDEr: A Causal-Consistent Reversible Debugger for Erlang
8. A Reversible Semantics for Erlang
9. Reducing Relative Termination to Dependency Pair Problems
10. Confluence Competition 2015
11. Constrained Term Rewriting tooL
12. A Finite Representation of the Narrowing Space
13. Automatic Constrained Rewriting Induction towards Verifying Procedural Programs
14. Term Rewriting with Logical Constraints
15. Improving Determinization of Grammar Programs for Program Inversion
16. Computing More Specific Versions of Conditional Rewriting Systems
17. On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
18. Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing
19. Proving Injectivity of Functions via Program Inversion in Term Rewriting
20. Study on a High Performance Shoes by Using Silicon Rubber Elements with Human Compatibility
21. Partial Inversion of Constructor Term Rewriting Systems
22. Clinicopathological Aspects of Chronic Pulmonary Thromboembolic Hypertension with Special Reference to Pulmonary Thromboendarterectomy in Japan
23. Constrained Term Rewriting tooL.
24. Reducing Relative Termination to Dependency Pair Problems.
25. Confluence Competition 2015.
26. Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.
27. Improving Determinization of Grammar Programs for Program Inversion.
28. Computing More Specific Versions of Conditional Rewriting Systems.
29. Term Rewriting with Logical Constraints.
30. Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.
31. Partial Inversion of Constructor Term Rewriting Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.