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):

Displaying 3 items.

SUBSEXPL (Q13667) (← links)
Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)

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