講演・口頭発表等 - 西田 直樹
-
Improving Unraveling for Deterministic Conditional Term Rewriting Systems
the 26th TRS Meeting
-
Dependency Graph Method for Proving Termination of Narrowing 国際会議
Austria - Japan Summer Workshop on Term Rewriting
-
Partial Inversion of Constructor Term Rewriting Systems
the 25th TRS Meeting
-
Transformational Approach to Inverse Computation in Term Rewriting
the 18th Tokyo Programming Seminar (ToPS)
-
Completeness of Unraveling Transformation for Left-Linear Conditional Term Rewriting Systems
the 24th TRS Meeting
-
Basic Narrowing Improves Efficiency of Computation of Right-Linear Term Rewriting Systems with Extra Variables
the 23rd TRS Meeting
-
Condition for Generation of Terminating Inverse TRSs from Constructor TRSs
the 22nd TRS Meeting
-
Narrowing-Based Reduction of Term Rewriting Systems with Extra Variables
the 21st TRS Meeting
-
On Generating Inverse Systems of Constructor TRSs
the 20th TRS Meeting