Pages that link to "Item:Q1960430"

From MaRDI portal

← Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430)

Jump to:navigation, search

The following pages link to Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430):

Displaying 3 items.

Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
Monadic simultaneous rigid \(E\)-unification (Q1960540) (← links)
The undecidability of proof search when equality is a logical connective (Q2134939) (← links)

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