Conceptio
›
logic-in-computer-science
Topic
logic-in-computer-science
Knowledge-graph topic
· documents ABOUT logic-in-computer-science across the archive
325
Documents about logic-in-computer-science
Documents about logic-in-computer-science
Approximate Functional Dependencies---Implication Problem Revisited
#625150
arXiv (All)
MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
#783637
arXiv (OAI Expanded)
MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
#785228
arXiv (All)
Schwarz: Solver-Aware Agentic Program Verification
#808857
arXiv (OAI Expanded)
Schwarz: Solver-Aware Agentic Program Verification
#818849
arXiv (All)
String Rewriting Systems: Brief Introduction and Sample of Open Problems
#973320
arXiv (All)
Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM Evidence
#973371
arXiv (All)
sheval: An RDF data shapes evaluation tool and test-suite for recursive shapes
#973559
arXiv (All)
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
#974879
arXiv (All)
Granthi: Higher-Order Quantum Programming via Unitary Wiring
#986327
arXiv (All)
A Lumpability-Driven Taxonomy of Strong and Weak Stochastic Bisimilarities with Their Congruence Properties
#999571
arXiv (All)
CB-VER: A Stable Foundation for Modular Control Plane Verification
#1011068
arXiv (All)
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
#1034630
arXiv (All)
Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
#1036704
arXiv (All)
Undefinability of Approximation of 2-to-2 Games
#1037712
arXiv (All)
Enhancing diagnostic logic in high-acuity care: evidence from an online flipped classroom intervention in emergency medicine.
#239905
NCBI PubMed Central
Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring
#668652
arXiv (OAI Expanded)
Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring
#670717
arXiv (All)
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
#155480
arXiv (OAI)
Efficient Dynamic Shielding for Parametric Safety Specifications
#627917
arXiv (OAI Expanded)
Efficient Dynamic Shielding for Parametric Safety Specifications
#629779
arXiv (All)
Self-extensional logics of formal inconsistency: Decidability and limits for paraconsistency
#788447
arXiv (OAI Expanded)
Self-extensional logics of formal inconsistency: Decidability and limits for paraconsistency
#792447
arXiv (All)
Categorical algebra of conditional probability
#820182
arXiv (All)
PIE-APT: Abductive Planning over Temporal Dynamic Knowledge Graphs via Incremental Reasoning
#920399
arXiv (OAI Expanded)
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
#920957
arXiv (OAI Expanded)
PIE-APT: Abductive Planning over Temporal Dynamic Knowledge Graphs via Incremental Reasoning
#924631
arXiv (All)
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
#925192
arXiv (All)
Beyond Lemma Sharing -- Novel Parallelization Strategies for Property Directed Reachability
#972493
arXiv (All)
Computable Ergodic Optimisation
#996923
arXiv (All)
Don't Blame the Model, Verify the Data: An Evaluation of SMT-based Dataset Verification
#1034931
arXiv (All)
The category of nominal sets is locally monoidal closed
#1037234
arXiv (All)
Languages and Recognition in a Category with Factorisation
#927642
arXiv (All)
Trace-Tree Magmas: Proof-Producing Infinite Countermodels and 28 New Order-Five Austin Classifications
#972741
arXiv (All)
Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
#789218
arXiv (OAI Expanded)
Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
#793222
arXiv (All)
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
#797167
arXiv (OAI Expanded)
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
#798580
arXiv (All)
Computational free will as global selection: from sheaf-theoretic gluing to a conditional separation of P and NP
#808851
arXiv (OAI Expanded)
Computational free will as global selection: from sheaf-theoretic gluing to a conditional separation of P and NP
#818843
arXiv (All)
The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
#821387
arXiv (All)
Collatz conjecture becomes theorem
#821646
arXiv (All)
Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study
#926851
arXiv (All)
From Ramsey-Based to Congruence-Based Constructions for Büchi Complementation
#973808
arXiv (All)
Large Language Models as Falsifiers for Cyber-Physical Systems
#1034548
arXiv (All)
Set Theory in the Foundation of Math; Internal Classes and External Sets
#920155
arXiv (OAI Expanded)
Set Theory in the Foundation of Math; Internal Classes and External Sets
#924386
arXiv (All)
Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization
#925490
arXiv (All)
A Formalisation of a Special Case of the Union-Closed Conjecture in Isabelle/HOL
#1034850
arXiv (All)
A formal model for ledger management systems based on contracts and temporal logic
#617223
arXiv (OAI Expanded)
← Previous
Page 6 of 8
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.