Pages that link to "Item:Q1882908"

From MaRDI portal

← Sound generalizations in mathematical induction (Q1882908)

Jump to:navigation, search

The following pages link to Sound generalizations in mathematical induction (Q1882908):

Displaying 3 items.

Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)

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