Cs-Lo
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
How Can I Do That with ACL2? Recent Enhancements to ACL2
The Complexity of Weighted Counting for Acyclic Conjunctive Queries
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Randomisation and Derandomisation in Descriptive Complexity Theory
ALPprolog --- A New Logic Programming Method for Dynamic Domains
A Satisfiability Algorithm for AC$^0$
Bit-Blasting ACL2 Theorems
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories
From Total Assignment Enumeration to Modern SAT Solver
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
Formal verification of a deadlock detection algorithm
Computability, G"odels Incompleteness Theorem, and an inherent limit on the predictability of evolution
Trichromatic Open Digraphs for Understanding Qubits
Event-Clock Automata: From Theory to Practice
Towards a Calculus of Object Programs
Algorithms for Synthesizing Priorities in Component-based Systems
