A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
A hierarchy of behavioral equivalences in the $π$-calculus with noisy channels
A Higher-Order Implementation of Rewriting
A History of Until
A KIF Formalization for the IFF Category Theory Ontology
A lambda calculus for quantum computation with classical control
A language for mathematical knowledge management
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
A logic for networks
A Logic for True Concurrency
A Logic of Reachable Patterns in Linked Data-Structures
A Logic Programming Framework for Combinational Circuit Synthesis
A Logic with Reverse Modalities for History-preserving Bisimulations
A logic with temporally accessible iteration
A logical analysis of entanglement and separability in quantum higher-order functions
A Logical Charaterisation of Ordered Disjunction
A Logical Framework for Convergent Infinite Computations
A Logical Framework for Set Theories
A Logical Method for Policy Enforcement over Evolving Audit Logs
A Logical Product Approach to Zonotope Intersection