Matthias Mann

Available identifiers

zbMath Open mann.matthiasMaRDI QIDQ964002

List of research outcomes

Publication	Date of Publication	Type
A decomposition approach for the general lotsizing and scheduling problem for parallel production lines	2015-07-28	Paper
Congruence of bisimulation in a non-deterministic call-by-need lambda calculus	2013-09-25	Paper
Which finitely generated Abelian groups admit equal growth functions?	2013-09-13	Paper
Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi	2010-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q4455114	2004-03-16	Paper
A new bound for the chromatic number of the rational five-space	2002-10-13	Paper

Research outcomes over time

This page was built for person: Matthias Mann