Pages that link to "Item:Q5111905"

From MaRDI portal

← On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (Q5111905)

Jump to:navigation, search

The following pages link to On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (Q5111905):

Displaying 2 items.

Determinization of conditional term rewriting systems (Q1929232) (← links)
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (Q5240136) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q5111905"