scientific article; zbMATH DE number 1059343
From MaRDI portal
Publication:4353652
zbMATH Open0877.03019MaRDI QIDQ4353652
Publication date: 13 November 1997
Title of this publication is not available (Why is that?)
linear systemsmodal logicbisimulation relationspatial embeddingslogical satisfiabilityembedding of logic into mathematical programminginfinite-dimensional 0-1 linear programs
Linear programming (90C05) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Related Items (2)
Logic applied to integer programming and integer programming applied to logic ⋮ Towards logical operations research -- propositional case
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353652)
