scientific article

From MaRDI portal

Publication:2702599

Jump to:navigation, search

zbMath0972.68031MaRDI QIDQ2702599

Jürgen Giesl, Christoph Walther, Jürgen Brauburger

Publication date: 12 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated termination proofs of algorithms size measure function

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Context Dependent Procedures and Computed Types in ✓eriFun

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2702599&oldid=15550134"