Pages that link to "Item:Q930260"

From MaRDI portal

← Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260)

Jump to:navigation, search

The following pages link to Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260):

Displaying 1 item.

Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)

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