Theory and Applications of Models of Computation
From MaRDI portal
Publication:5898872
DOI10.1007/11750321zbMATH Open1178.90249OpenAlexW4296156427MaRDI QIDQ5898872
Publication date: 30 April 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11750321
Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.) (90C08) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Theory and Applications of Models of Computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898872)