scientific article; zbMATH DE number 6263368

From MaRDI portal

Publication:5399489

Jump to:navigation, search

zbMath1299.68016MaRDI QIDQ5399489

Publication date: 28 February 2014

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

zbMATH Keywords

termination analysis linear loops nonterminating point trustworthy computing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication:

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