Logical locality entails frugal distributed computation over graphs

Logical Modelling of Physarum Polycephalum

Logical Queries over Views: Decidability and Expressiveness

Logical Reasoning for Higher-Order Functions with Local State

Logical Relations for Monadic Types

Logical Varieties in Normative Reasoning

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Logics and Games for True Concurrency

Logics for the Relational Syllogistic

Logics for Unranked Trees: An Overview

Loops under Strategies ... Continued

LoopW Technical Reference v0.3

Lower Bound for the Communication Complexity of the Russian Cards Problem

Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique

Lower Bounds for the Complexity of Monadic Second-Order Logic

Lower Bounds on Syntactic Logic Expressions for Optimization Problems and Duality using Lagrangian Dual to characterize optimality conditions

LTL with the Freeze Quantifier and Register Automata

Ludics with repetitions (Exponentials, Interactive types and Completeness)

MACE 2.0 Reference Manual and Guide

Making Abstraction Refinement Efficient in Model Checking