Results 301 to 303 of about 3,702,791 (303)

A class of logic problems solvable by linear programming

Journal of the ACM, 1995
Michelangelo Conforti, Gérard Cornuejols   +1 more
exaly  

Interpolation in Linear Logic and Related Systems

ACM Transactions on Computational Logic
Wesley Fussner, Simon Santschi
exaly  

Operational interpretations of linear logic

Theoretical Computer Science, 1999
exaly