Pages that link to "Item:Q844197"

From MaRDI portal

← Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197)

Jump to:navigation, search

The following pages link to Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197):

Displaying 3 items.

Multi-completion with termination tools (Q352956) (← links)
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
Multi-completion with Termination Tools (System Description) (Q3541711) (← links)

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