🏛️ The Logic in CS Crypt
cs.LO: Where Logic in CS papers rest without their code.
1394
Total Papers
1
No Code
1305
Twilight
88
Has Code
6.3%
Survival Rate
🔮
🔮
The Ethereal
🔮
🔮
The Ethereal
Semantic Integration in the Information Flow Framework
🔮
🔮
The Ethereal
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
🔮
🔮
The Ethereal
Bundled fragments of first-order modal logic: (un)decidability
🔮
🔮
The Ethereal
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
🔮
🔮
The Ethereal
First-Order Query Evaluation with Cardinality Conditions
🔮
🔮
The Ethereal
Functorial Semantics for Relational Theories
🔮
🔮
The Ethereal
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
🔮
🔮
The Ethereal
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation
🔮
🔮
The Ethereal
Model Checking Embedded C Software using k-Induction and Invariants (extended version)
🔮
🔮
The Ethereal
Abstraction/Representation Theory for Heterotic Physical Computing
🔮
🔮
The Ethereal
Prophecy Variables for Hyperproperty Verification
🔮
🔮
The Ethereal
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
🔮
🔮
The Ethereal
A Calculus for Modular Loop Acceleration
🔮
🔮
The Ethereal
Verified Optimization in a Quantum Intermediate Representation
🔮
🔮
The Ethereal
Facets of Software Doping
🔮
🔮
The Ethereal
What is algebraic about algebraic effects and handlers?
🔮
🔮
The Ethereal
Dynamic Conjunctive Queries
🔮
🔮
The Ethereal
Biabduction (and Related Problems) in Array Separation Logic
🔮
🔮
The Ethereal
Concurrent Data Structures Linked in Time
🔮
🔮
The Ethereal
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
🔮
🔮
The Ethereal
A natural counting of lambda terms
🔮
🔮
The Ethereal
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
🔮
🔮
The Ethereal