🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

Romain Péchoux, Simon Perdrix, ... (+2 more)

cs.LO 🏛 Foundations of Software Science and Computation Structure 📚 23 cites 6 years ago

🔮 🔮 The Ethereal

Semantic Integration in the Information Flow Framework

Robert E. Kent

cs.LO 🏛 Semantic Interoperability and Integration 📚 23 cites 7 years ago

🔮 🔮 The Ethereal

Constrained Counting and Sampling: Bridging the Gap between Theory and Practice

Kuldeep S. Meel

cs.LO 🏛 arXiv 📚 23 cites 7 years ago

🔮 🔮 The Ethereal

Bundled fragments of first-order modal logic: (un)decidability

Anantha Padmanabha, R. Ramanujam, Yanjing Wang

cs.LO 🏛 TCS 📚 23 cites 8 years ago

🔮 🔮 The Ethereal

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes

Raphaël Berthon, Mickael Randour, Jean-François Raskin

cs.LO 🏛 ICALP 📚 23 cites 9 years ago

🔮 🔮 The Ethereal

First-Order Query Evaluation with Cardinality Conditions

Martin Grohe, Nicole Schweikardt

cs.LO 🏛 PODS 📚 23 cites 8 years ago

🔮 🔮 The Ethereal

Functorial Semantics for Relational Theories

Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski

cs.LO 🏛 Polynesian Journal of Mathematics 📚 23 cites 8 years ago

🔮 🔮 The Ethereal

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Mathys Rennela, Sam Staton

cs.LO 🏛 Log. Methods Comput. Sci. 📚 23 cites 8 years ago

🔮 🔮 The Ethereal

An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation

Jan Friso Groote, Anton Wijs

cs.LO 🏛 ICTACAS 📚 23 cites 10 years ago

🔮 🔮 The Ethereal

Model Checking Embedded C Software using k-Induction and Invariants (extended version)

Herbert Rocha, Hussama Ismail, ... (+2 more)

cs.LO 🏛 Brazilian Symposium on Computing System Engineering 📚 23 cites 10 years ago

🔮 🔮 The Ethereal

Abstraction/Representation Theory for Heterotic Physical Computing

Dominic C. Horsman

cs.LO 🏛 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 📚 23 cites 10 years ago

🔮 🔮 The Ethereal

Prophecy Variables for Hyperproperty Verification

Raven Beutner, Bernd Finkbeiner

cs.LO 🏛 CSF 📚 23 cites 3 years ago

🔮 🔮 The Ethereal

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

Danilo Pianini, Roberto Casadei, ... (+3 more)

cs.LO 🏛 Log. Methods Comput. Sci. 📚 22 cites 5 years ago

🔮 🔮 The Ethereal

A Calculus for Modular Loop Acceleration

Florian Frohn

cs.LO 🏛 ICTACAS 📚 22 cites 6 years ago

🔮 🔮 The Ethereal

Verified Optimization in a Quantum Intermediate Representation

Kesha Hietala, Robert Rand, ... (+3 more)

cs.LO 🏛 arXiv 📚 22 cites 7 years ago

🔮 🔮 The Ethereal

Facets of Software Doping

Gilles Barthe, Pedro R. D'Argenio, ... (+2 more)

cs.LO 🏛 FM 📚 22 cites 8 years ago

🔮 🔮 The Ethereal

What is algebraic about algebraic effects and handlers?

Andrej Bauer

cs.LO 🏛 arXiv 📚 22 cites 7 years ago

🔮 🔮 The Ethereal

Dynamic Conjunctive Queries

Thomas Zeume, Thomas Schwentick

cs.LO 🏛 Journal of computer and system sciences (Print) 📚 22 cites 9 years ago

🔮 🔮 The Ethereal

Biabduction (and Related Problems) in Array Separation Logic

James Brotherston, Nikos Gorogiannis, Max Kanovich

cs.LO 🏛 CADE 📚 22 cites 9 years ago

🔮 🔮 The Ethereal

Concurrent Data Structures Linked in Time

Germán Andrés Delbianco, Ilya Sergey, ... (+2 more)

cs.LO 🏛 ECOOP 📚 22 cites 10 years ago

🔮 🔮 The Ethereal

Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses

Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)

cs.LO 🏛 TPLP 📚 22 cites 10 years ago

🔮 🔮 The Ethereal

A natural counting of lambda terms

Maciej Bendkowski, Katarzyna Grygiel, ... (+2 more)

cs.LO 🏛 ICCTTPI 📚 22 cites 10 years ago

🔮 🔮 The Ethereal

Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Pierre Bourhis, Carsten Lutz

cs.LO 🏛 KR 📚 21 cites 5 years ago

🔮 🔮 The Ethereal

LTLf Synthesis on Probabilistic Systems

Andrew M. Wells, Morteza Lahijanian, ... (+2 more)

cs.LO 🏛 ICGALFV 📚 21 cites 5 years ago