Pages that link to "Item:Q1687545"

From MaRDI portal

← Parallel closure theorem for left-linear nominal rewriting systems (Q1687545)

Jump to:navigation, search

The following pages link to Parallel closure theorem for left-linear nominal rewriting systems (Q1687545):

Displaying 2 items.

Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
Rewriting with generalized nominal unification (Q5139280) (← links)

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