No Image
SMT-Friendly Formalization of the Solidity Memory Model
📝 Original Info Title: SMT-Friendly Formalization of the Solidity Memory Model ArXiv ID: 2001.03256 Date: 2020-04-20 Authors: Akos Hajdu, …
Computer Science / Logic
All posts under category "Computer Science / Logic"
8 posts total
Sorted by date
No Image
Hardware/Software Co-verification Using Path-based Symbolic Execution
📝 Original Info Title: Hardware/Software Co-verification Using Path-based Symbolic Execution ArXiv ID: 2001.01324 Date: 2020-01-07 Authors: …
No Image
Incremental Monoidal Grammars
📝 Original Info Title: Incremental Monoidal Grammars ArXiv ID: 2001.02296 Date: 2020-01-13 Authors: Dan Shiebler, Alexis Toumi, Mehrnoosh …
No Image
Toward a Uniform Approach to the Unfolding of Nets
📝 Original Info Title: Toward a Uniform Approach to the Unfolding of Nets ArXiv ID: 1810.08038 Date: 2018-10-19 Authors: Eric Fabre (INRIA …
No Image
When Can We Answer Queries Using Result-Bounded Data Interfaces?
📝 Original Info Title: When Can We Answer Queries Using Result-Bounded Data Interfaces? ArXiv ID: 1810.07822 Date: 2023-06-22 Authors: …
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness
📝 Original Info Title: EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness ArXiv …
No Image
A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
📝 Original Info Title: A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts ArXiv ID: 2512.24980 Date: 2025-12-31 Authors: …
No Image
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
📝 Original Info Title: LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories) ArXiv ID: 2512.24796 Date: …
< Category Statistics (Total: 1223) >
Astrophysics
2
Computer Science
720
Condensed Matter
3
Economics
35
Electrical Engineering and Systems Science
56
General
423
MATH-PH
1
Mathematics
51
Nonlinear Sciences
3
Physics
15
Quantitative Biology
4
Quantitative Finance
23
Quantum Physics
5
Statistics
46