Matthias Mann

From MaRDI portal
(Redirected from Matthias Mann)
Matthias Mann Q964002



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A decomposition approach for the general lotsizing and scheduling problem for parallel production lines
European Journal of Operational Research
2015-07-28Paper
Congruence of bisimulation in a non-deterministic call-by-need lambda calculus2013-09-25Paper
Which finitely generated Abelian groups admit equal growth functions?2013-09-13Paper
Which finitely generated Abelian groups admit equal growth functions?
(available as arXiv preprint)
2013-01-01Paper
Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
Information and Computation
2010-04-14Paper
scientific article; zbMATH DE number 2058509 (Why is no real title available?)2004-03-16Paper
A new bound for the chromatic number of the rational five-space
Geombinatorics
2002-10-13Paper


Research outcomes over time


This page was built for person: Matthias Mann