Results 291 to 300 of about 3,702,791 (303)

Linear logic as logic programming: An abstract

Lecture Notes in Computer Science, 2006
Dale Miller
exaly  

FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

International Journal of Foundations of Computer Science, 1991
José Meseguer
exaly  

Quantized Linear Logic, Involutive Quantales and Strong Negation

Studia Logica, 2004
Norihiro Kamide
exaly  

Mechanizing Focused Linear Logic in Coq

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

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

IEEE Transactions on Automatic Control, 2008
Calin Belta, Marius Kloetzer
exaly  

The decidability of the intensional fragment of classical linear logic

Theoretical Computer Science, 2015
Katalin Bimbo
exaly  

Linear logic as a logical framework

2017
Logical frameworks have seen three decades of design, theory, implementation , and applications. An early example of such a framework was LF (Honsell, Harper, & Plotkin, LICS 1987): that dependently typed λ-calculus provided a framework for defining the syntax of terms and formulas as well as natural deduction proofs in various intuitionistic logics ...
openaire   +1 more source

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  

A constructive game semantics for the language of linear logic

Annals of Pure and Applied Logic, 1997
Giorgi Japaridze
exaly