Pages that link to "Item:Q1854538"

From MaRDI portal

← The undecidability of the first-order theories of one step rewriting in linear canonical systems (Q1854538)

Jump to:navigation, search

The following pages link to The undecidability of the first-order theories of one step rewriting in linear canonical systems (Q1854538):

Displaying 1 item.

First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588) (← links)

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