Cs-Lo
Feasible Automata for Two-Variable Logic with Successor on Data Words
Specimens: "most of" generic NPs in a contextually flexible type theory
Dynamics of Knowledge in DeLP through Argument Theory Change
PTaCL: A Language for Attribute-Based Access Control in Open Systems
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
The Cohomology of Non-Locality and Contextuality
Topological Logics with Connectedness over Euclidean Spaces
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Using non-convex approximations for efficient analysis of timed automata
Can Nondeterminism Help Complementation?
A Logic for Choreographies
Implementing an Automatic Differentiator in ACL2
Generalization Strategies for the Verification of Infinite State Systems
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
Toward the Verification of a Simple Hypervisor
Better abstractions for timed automata
Paraconsistency and Topological Semantics
Conway games, algebraically and coalgebraically
Normative design using inductive learning
The Nakamura numbers for computable simple games
Extended Initiality for Typed Abstract Syntax
Logic + control: On program construction and verification
