Logic in Computer Science | Synthical

Synthical

Your space

Profile

Activity

Favorites

Folders

Feeds

Contacts

About

Simple

Original

Articles about Logic in Computer Science

Notes on applicative matching logic

5 days ago by Laurenţiu Leuştean

Logic in Computer Science, Logic

Matching logic -- proof system \mathcal{G}^c

6 days ago by Laurenţiu Leuştean and Dafina Trufaş

Logic in Computer Science, Logic

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence

6 days ago by İlker Işık and others

Computation and Language, Machine Learning

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

6 days ago by Stephane Demri and Karin Quaas

Logic in Computer Science

A Logic of Knowledge and Justifications, with an Application to Computational Trust

6 days ago by Francesco Genco

Logic in Computer Science

Graphs of unbounded linear cliquewidth must transduce all trees

6 days ago by Mikołaj Bojańczyk and Pierre Ohlmann

Logic in Computer Science

A theory of Lending Protocols in DeFi

6 days ago by Massimo Bartoletti and Enrico Lipparini

Computer Science and Game Theory, Cryptography and Security

Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora

6 days ago by Ilana Shapiro and others

Artificial Intelligence, Logic in Computer Science

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks

6 days ago by Mohimenul Kabir and others

Logic in Computer Science

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits

6 days ago by Jinzhao Li and others

Artificial Intelligence, Logic in Computer Science

Fractals from Regular Behaviours

6 days ago by Todd Schmid and others

Logic in Computer Science, Formal Languages and Automata Theory

Distributed controller synthesis for deadlock avoidance

7 days ago by Hugo Gimbert and others

Logic in Computer Science

Enhancing Symbolic Machine Learning by Subsymbolic Representations

7 days ago by Stephen Roth and others

Artificial Intelligence, Logic in Computer Science

A Logic For Fresh Labelled Transition Systems

7 days ago by Mohamed Bandukara and Nikos Tzevelekos

Logic in Computer Science, Formal Languages and Automata Theory

Synthesis of Temporal Causality

7 days ago by Bernd Finkbeiner and others

Logic in Computer Science

Positive Almost-Sure Termination of Polynomial Random Walks

7 days ago by Lorenz Winkler and Laura Kovács

Logic in Computer Science

Varanus: Runtime Verification for CSP

7 days ago by Matt Luckcuck and others

Logic in Computer Science, Software Engineering

OSTRICH2: Solver for Complex String Constraints

7 days ago by Matthew Hague and others

Logic in Computer Science

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials

7 days ago by Esaïe Bauer and Alexis Saurin

Logic in Computer Science

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic

7 days ago by Justus Becker

Logic in Computer Science, Logic

A study of the Antlion Random Walk

7 days ago by Akihiro Narimatsu and Tomoki Yamagami

Probability, Logic in Computer Science

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning

7 days ago by Ziju Shen and others

Computation and Language, Artificial Intelligence

Positive Sharing and Abstract Machines

7 days ago by Beniamino Accattoli and others

Logic in Computer Science, Programming Languages

Asymptotically Smaller Encodings for Graph Problems and Scheduling

7 days ago by Bernardo Subercaseaux

Logic in Computer Science, Artificial Intelligence

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization

7 days ago by Arie Soeteman and Balder Ten Cate

Machine Learning, Artificial Intelligence

Towards Bug-Free Distributed Go Programs

7 days ago by Zhengqun Koo

Software Engineering, Logic in Computer Science

Programming and Reasoning in Partially Observable Probabilistic Environments

16 June 2025 by Tobias Gürtler and Benjamin Lucien Kaminski

Logic in Computer Science

The interdefinability of expansions of Belnap-Dunn logic

16 June 2025 by C. Middelburg

Logic in Computer Science, Logic

Hardness of monadic second-order formulae over succinct graphs

16 June 2025 by Guilhem Gamard and others at

Computational Complexity, Logic in Computer Science

Machine Learning as Iterated Belief Change a la Darwiche and Pearl

16 June 2025 by Theofanis Aravanis

Artificial Intelligence, Machine Learning

Load more