Pages that link to "Item:Q4847312"

From MaRDI portal

← Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (Q4847312)

Jump to:navigation, search

The following pages link to Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics (Q4847312):

Displaying 1 item.

On abstract data types presented by multiequations (Q1607218) (← links)

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