scientific article; zbMATH DE number 6792352
From MaRDI portal
Publication:5369484
DOI10.4230/LIPIcs.FSCD.2016.19zbMath1387.68062MaRDI QIDQ5369484
Moritz Martens, Jakob Rehof, Andrej Dudenhefner
Publication date: 17 October 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Functional programming and lambda calculus (68N18) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Equational classes, universal algebra in model theory (03C05)
This page was built for publication:
