Skip to main content

1 Result(s)

within English Remove this filter Artificial Intelligence Remove this filter Mathematical Logic and Formal Languages Remove this filter Takahito Aoto Remove this filter

and
Your search also matched 16 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

On composable properties of term rewriting systems

Include preview-only content

  1. Chapter and Conference Paper

    A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems

    The rewrite relation of a conditional term rewriting system (CTRS) can be divided into a hierarchy of rewrite relations of term rewriting systems (TRSs) by the depth of the recursive use of rewrite relation in...

    Ryota Haga, Yuki Kagaya, Takahito Aoto in Frontiers of Combining Systems (2023)

    Download PDF (397 KB) View Chapter