🔮
🔮
The Ethereal
🏛️ The Logic in CS Crypt
cs.LO: Where Logic in CS papers rest without their code.
1397
Total Papers
1
No Code
1305
Twilight
91
Has Code
6.5%
Survival Rate
🔮
🔮
The Ethereal
Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
🔮
🔮
The Ethereal
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
🔮
🔮
The Ethereal
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
🔮
🔮
The Ethereal
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
🔮
🔮
The Ethereal
Sequential composition of propositional logic programs
🔮
🔮
The Ethereal
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
🔮
🔮
The Ethereal
IsarStep: a Benchmark for High-level Mathematical Reasoning
🔮
🔮
The Ethereal
A Complete Approach to Loop Verification with Invariants and Summaries
🔮
🔮
The Ethereal
Inconsistency Proofs for ASP: The ASP-DRUPE Format
🔮
🔮
The Ethereal
Reconfigurable Interaction for MAS Modelling
🔮
🔮
The Ethereal
Towards Constraint Logic Programming over Strings for Test Data Generation
🔮
🔮
The Ethereal
Verifying Visibility-Based Weak Consistency
🔮
🔮
The Ethereal
An algorithmic approach to the existence of ideal objects in commutative algebra
🔮
🔮
The Ethereal
A dynamic epistemic logic analysis of the equality negation task
🔮
🔮
The Ethereal
Compiling With Classical Connectives
🔮
🔮
The Ethereal
A static higher-order dependency pair framework
🔮
🔮
The Ethereal
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
🔮
🔮
The Ethereal
Fine-Grained Complexity of Safety Verification
🔮
🔮
The Ethereal
The RedPRL Proof Assistant (Invited Paper)
🔮
🔮
The Ethereal
Common Knowledge in a Logic of Gossips
🔮
🔮
The Ethereal
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol
🔮
🔮
The Ethereal
Dynamic Complexity under Definable Changes
🔮
🔮
The Ethereal