🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Crumbling Abstract Machines

Beniamino Accattoli, Andrea Condoluci, ... (+2 more)

cs.LO 🏛 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 📚 19 cites 6 years ago

🔮 🔮 The Ethereal

A Type Theory for Defining Logics and Proofs

Brigitte Pientka, David Thibodeau, ... (+3 more)

cs.LO 🏛 Logic in Computer Science 📚 19 cites 6 years ago

🔮 🔮 The Ethereal

Everybody's Got To Be Somewhere

Conor McBride

cs.LO 🏛 MSFP@FSCD 📚 19 cites 7 years ago

🔮 🔮 The Ethereal

Directed Containers as Categories

Danel Ahman, Tarmo Uustalu

cs.LO 🏛 MSFP 📚 19 cites 10 years ago

🔮 🔮 The Ethereal

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers

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

🔮 🔮 The Ethereal

A Bunched Logic for Conditional Independence

Jialu Bao, Simon Docherty, ... (+2 more)

cs.LO 🏛 Logic in Computer Science 📚 18 cites 5 years ago

🔮 🔮 The Ethereal

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints

Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)

cs.LO 🏛 AAAI 📚 18 cites 6 years ago

🔮 🔮 The Ethereal

Intuitionistic Linear Temporal Logics

Philippe Balbiani, Joseph Boudou, ... (+2 more)

cs.LO 🏛 ACM Transactions on Computational Logic 📚 18 cites 6 years ago

🔮 🔮 The Ethereal

Towards Finding Longer Proofs

Zsolt Zombori, Adrián Csiszárik, ... (+3 more)

cs.LO 🏛 ICTPATRM 📚 18 cites 6 years ago

🔮 🔮 The Ethereal

SMT-based Constraint Answer Set Solver EZSMT+

Da Shen, Yuliya Lierler

cs.LO 🏛 KR 📚 18 cites 6 years ago

🔮 🔮 The Ethereal

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Alexander Semenov, Ilya Otpuschennikov, ... (+3 more)

cs.LO 🏛 Log. Methods Comput. Sci. 📚 18 cites 7 years ago

🔮 🔮 The Ethereal

Debugging Smart Contract's Business Logic Using Symbolic Model-Checking

Evgeniy Shishkin

cs.LO 🏛 Programming and computer software 📚 18 cites 7 years ago

🔮 🔮 The Ethereal

Deep Weisfeiler Leman

Martin Grohe, Pascal Schweitzer, Daniel Wiebking

cs.LO 🏛 SODA 📚 17 cites 6 years ago

🔮 🔮 The Ethereal

Type safety of rewrite rules in dependent types

Frédéric Blanqui

cs.LO 🏛 ICFSCD 📚 17 cites 5 years ago

🔮 🔮 The Ethereal

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Antoine Amarilli, Michael Benedikt

cs.LO 🏛 PODS 📚 17 cites 7 years ago

🔮 🔮 The Ethereal

Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols

Max Kanovich, Tajana Ban Kirigin, ... (+3 more)

cs.LO 🏛 Journal of computing and security 📚 17 cites 9 years ago

🔮 🔮 The Ethereal

Structural Synthesis for GXW Specifications

Chih-Hong Cheng, Yassine Hamza, Harald Ruess

cs.LO 🏛 CAV 📚 17 cites 10 years ago

🔮 🔮 The Ethereal

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

A. Molinari, A. Montanari, A. Peron

cs.LO 🏛 Time 📚 17 cites 10 years ago

🔮 🔮 The Ethereal

A Timed Process Algebra for Wireless Networks

Emile Bres, Rob van Glabbeek, Peter Höfner

cs.LO 🏛 European Symposium on Programming 📚 17 cites 9 years ago

🔮 🔮 The Ethereal

Systematic Verification of the Modal Logic Cube in Isabelle/HOL

Christoph Benzmüller, Maximilian Claus, Nik Sultana

cs.LO 🏛 PxTP@CADE 📚 17 cites 10 years ago

🔮 🔮 The Ethereal

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions

Umang Mathur, Andreas Pavlogiannis, ... (+2 more)

cs.LO 🏛 ASPLOS 📚 17 cites 4 years ago

🔮 🔮 The Ethereal

Cohomology in Constraint Satisfaction and Structure Isomorphism

Adam Ó Conghaile

cs.LO 🏛 MFCS 📚 17 cites 3 years ago

🔮 🔮 The Ethereal

Twin-width and types

Jakub Gajarský, Michał Pilipczuk, ... (+2 more)

cs.LO 🏛 ICALP 📚 17 cites 3 years ago

🔮 🔮 The Ethereal

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

Noam Zilberstein, Angelina Saliling, Alexandra Silva

cs.LO 🏛 PACMPL 📚 16 cites 2 years ago