Results 161 to 168 of about 83,510 (168)

Mechanizing Focused Linear Logic in Coq

Electronic Notes in Theoretical Computer Science, 2018
Giselle Reis, CARLOS Olarte, Vivek Nigam   +2 more
exaly  

The decidability of the intensional fragment of classical linear logic

Theoretical Computer Science, 2015
Katalin Bimbo
exaly  

Linear Time Logic Control of Discrete-Time Linear Systems

IEEE Transactions on Automatic Control, 2006
George Pappas, Paulo Tabuada
exaly  

Asynchronous communication model based on linear logic

Formal Aspects of Computing, 1995
Naoki Kobayashi, Akinori Yonezawa
exaly  

Dynamic logic architecture based on piecewise-linear systems

Physics Letters, Section A: General, Atomic and Solid State Physics, 2010
Yixian Yang, Lixiang Li, Haipeng Peng
exaly  

A constructive game semantics for the language of linear logic

Annals of Pure and Applied Logic, 1997
Giorgi Japaridze
exaly  

Operational interpretations of linear logic

Theoretical Computer Science, 1999
Philip Wadler
exaly  

Interpolation in Linear Logic and Related Systems

ACM Transactions on Computational Logic
Wesley Fussner, Simon Santschi
exaly