Results 281 to 290 of about 3,702,791 (303)

The Dual of a Logical Linear Programme

Journal of Global Optimization, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Linear logic

ACM SIGACT News, 1992
openaire   +1 more source

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.

2013
In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at essentially no computational cost one can make a significant increase in expressiveness while maintaining the same intuitiveness of LTLf.
DE GIACOMO, Giuseppe, Moshe Y. Vardi
openaire   +2 more sources

A Calculational Deductive System for Linear Temporal Logic

ACM Computing Surveys, 2020
J Stanley Warford
exaly  

Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking

IEEE Transactions on Fuzzy Systems, 2021
Yongming Li
exaly  

Soft linear logic and polynomial time

Theoretical Computer Science, 2004
Yves Lafont
exaly  

Glueing and orthogonality for models of linear logic

Theoretical Computer Science, 2003
Martin Hyland
exaly  

Chu spaces as a semantic bridge between linear logic and mathematics

Theoretical Computer Science, 2003
Vaughan Pratt
exaly  

Universal Linear-Optical Logic Gate with Maximal Intensity Contrast Ratios

ACS Photonics, 2018
Jianjun Chen, Zhi Li, Changnan Peng
exaly  

Distributed concurrent linear logic programming

Theoretical Computer Science, 1999
Naoki Kobayashi, Akinori Yonezawa
exaly