
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
This volume contains the papers presented at CICLOPS'12: 12th Internatio...
read it

Computational Complexity of Deciding Provability in Linear Logic and its Fragments
Linear logic was conceived in 1987 by Girard and, in contrast to classic...
read it

Toward Probabilistic Checking against NonSignaling Strategies with Constant Locality
Nonsignaling strategies are a generalization of quantum strategies that...
read it

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
This volume of the EPTCS contains the proceedings of the 15th internatio...
read it

Proceedings Tenth International Workshop on Computing with Terms and Graphs
This volume contains a selection of the papers presented at TERMGRAPH 20...
read it

Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
This EPTCS volume contains the proceedings of the 16th Workshop on Quant...
read it

Stellar Resolution: Multiplicatives
We present a new asynchronous model of computation named Stellar Resolut...
read it
Proceedings Joint International Workshop on Linearity Trends in Linear Logic and Applications
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 78, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Linear logic is not only a theoretical tool to analyse the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields.
READ FULL TEXT
Comments
There are no comments yet.