Pages that link to "Item:Q3647258"

From MaRDI portal

← SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258)

Jump to:navigation, search

The following pages link to SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258):

Displayed 2 items.

SUBSEXPL (Q13667) ‎ (← links)
Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) ‎ (← links)

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