Pages that link to "Item:Q1640985"

From MaRDI portal

← From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985)

Jump to:navigation, search

The following pages link to From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985):

Displaying 2 items.

Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs (Q6492754) (← links)

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