🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic

Mohamed Yousri Mahmoud, Amy P. Felty

cs.LO 🏛 Journal of automated reasoning 📚 13 cites 7 years ago

🔮 🔮 The Ethereal

A theory of linear typings as flows on 3-valent graphs

Noam Zeilberger

cs.LO 🏛 Logic in Computer Science 📚 13 cites 8 years ago

🔮 🔮 The Ethereal

Call-by-Need, Neededness and All That

Delia Kesner, Alejandro Ríos, Andrés Viso

cs.LO 🏛 Foundations of Software Science and Computation Structure 📚 13 cites 8 years ago

🔮 🔮 The Ethereal

Privacy by typing in the $π$-calculus

Dimitrios Kouzapas, Anna Philippou

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

🔮 🔮 The Ethereal

Towards Efficient Verification of Population Protocols

Michael Blondin, Javier Esparza, ... (+2 more)

cs.LO 🏛 Formal methods in system design 📚 13 cites 9 years ago

🔮 🔮 The Ethereal

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings

Bernardo Toninho, Nobuko Yoshida

cs.LO 🏛 European Symposium on Programming 📚 13 cites 8 years ago

🔮 🔮 The Ethereal

On the uniform one-dimensional fragment

Antti Kuusisto

cs.LO 🏛 Description Logics 📚 13 cites 10 years ago

🔮 🔮 The Ethereal

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

Dirk Beyer, Karlheinz Friedberger

cs.LO 🏛 Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 📚 13 cites 9 years ago

🔮 🔮 The Ethereal

Proof-relevant $π$-calculus: a constructive account of concurrency and causality

Roly Perera, James Cheney

cs.LO 🏛 Mathematical Structures in Computer Science 📚 13 cites 10 years ago

🔮 🔮 The Ethereal

Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing

Isabella Mastroeni, Damiano Zanardini

cs.LO 🏛 ACM Transactions on Computational Logic 📚 13 cites 9 years ago

🔮 🔮 The Ethereal

Continuity as a computational effect

Renato Neves, Luis S. Barbosa, ... (+2 more)

cs.LO 🏛 J. Log. Algebraic Methods Program. 📚 13 cites 10 years ago

🔮 🔮 The Ethereal

Finite Open-World Query Answering with Number Restrictions (Extended Version)

Antoine Amarilli, Michael Benedikt

cs.LO 🏛 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science 📚 13 cites 10 years ago

🔮 🔮 The Ethereal

A Type-Directed Negation Elimination

Etienne Lozes

cs.LO 🏛 Fixed Points in Computer Science 📚 13 cites 10 years ago

🔮 🔮 The Ethereal

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes

Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos

cs.LO 🏛 arXiv 📚 13 cites 3 years ago

🔮 🔮 The Ethereal

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth

cs.LO 🏛 Log. Methods Comput. Sci. 📚 13 cites 3 years ago

🔮 🔮 The Ethereal

Algebraic Model Management: A Survey

Patrick Schultz, David I. Spivak, Ryan Wisnesky

cs.LO 🏛 ICRTADT W 📚 12 cites 3 years ago

🔮 🔮 The Ethereal

Experiences from Exporting Major Proof Assistant Libraries

Michael Kohlhase, Florian Rabe

cs.LO 🏛 Journal of automated reasoning 📚 12 cites 5 years ago

🔮 🔮 The Ethereal

Homotopy Theoretic and Categorical Models of Neural Information Networks

Yuri Manin, Matilde Marcolli

cs.LO 🏛 Compositionality 📚 12 cites 5 years ago

🔮 🔮 The Ethereal

Inferring Lower Runtime Bounds for Integer Programs

Florian Frohn, Matthias Naaf, ... (+2 more)

cs.LO 🏛 ACM Transactions on Programming Languages and Systems 📚 12 cites 6 years ago

🔮 🔮 The Ethereal

Planning and Synthesis Under Assumptions

Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)

cs.LO 🏛 arXiv 📚 12 cites 7 years ago

🔮 🔮 The Ethereal

Formal Small-step Verification of a Call-by-value Lambda Calculus Machine

Fabian Kunze, Gert Smolka, Yannick Forster

cs.LO 🏛 Asian Symposium on Programming Languages and Systems 📚 12 cites 7 years ago

🔮 🔮 The Ethereal

The Refinement Calculus of Reactive Systems

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

cs.LO 🏛 Information and Computation 📚 12 cites 8 years ago

🔮 🔮 The Ethereal

Evaluating the Stream Control Transmission Protocol Using Uppaal

Shruti Saini, Ansgar Fehnker

cs.LO 🏛 MARS 📚 12 cites 9 years ago

🔮 🔮 The Ethereal

Reversible Sessions Using Monitors

Claudio A. Mezzina, Jorge A. Pérez

cs.LO 🏛 Places 📚 12 cites 9 years ago