A logic with temporally accessible iteration
A logic-based approach to data integration
A logical analysis of entanglement and separability in quantum higher-order functions
A Logical Approach to Efficient Max-SAT solving
A Logical Characterization of Constraint-Based Causal Discovery
A Logical Characterization of Iterated Admissibility
A Logical Charaterisation of Ordered Disjunction
A Logical Foundation for Environment Classifiers
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 Model and Data Placement Strategies for MEMS Storage Devices
A Logical Product Approach to Zonotope Intersection
A logical reconstruction of SPKI
A Logical Temporal Relational Data Model
A long connection (750-380 Ma) between South China and Australia: paleomagnetic constraints
A Long Look at M17: Tapping the Treasury of a Nearby Rich Star Forming Region
A long overdue synthesis image of Centaurus A
A Long Range Science Rover For Future Mars Missions
A long term change in the cosmic ray composition - Studies on fossil cosmic ray tracks in lunar samples