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
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)
SoK: Formal Methods for Fact-Checking and Information Integrity
#1048983
arXiv (All)
From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware
#1049860
arXiv (All)
Simple grammar bisimilarity, with an application to session type equivalence
#1051966
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)
Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization
#1051337
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)
A formal model for ledger management systems based on contracts and temporal logic
#617723
arXiv (All)
A Comprehensive Taxonomy of Metacognitive Scaffolding in Computer Science Education: Algorithmic Logic, Debugging, and Agency
#20837
DataCite
A Comprehensive Taxonomy of Metacognitive Scaffolding in Computer Science Education: Algorithmic Logic, Debugging, and Agency
#20838
DataCite
A Comprehensive Taxonomy of Metacognitive Scaffolding in Computer Science Education: Algorithmic Logic, Debugging, and Agency
#20839
DataCite
Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
#182985
arXiv
Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
#183035
arXiv Biology
Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
#183085
arXiv (OAI Expanded)
Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
#183135
arXiv (OAI)
SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability
#616515
arXiv (OAI Expanded)
SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability
#617015
arXiv (All)
Formalization of Harder-Narasimhan theory
#674232
arXiv (OAI Expanded)
Formalization of Harder-Narasimhan theory
#677429
arXiv (All)
Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis
#920517
arXiv (OAI Expanded)
Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis
#924751
arXiv (All)
Homomorphism Indistinguishability, Multiplicity Automata Equivalence, and Polynomial Identity Testing
#974279
arXiv (All)
Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
#987187
arXiv (All)
k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
#997973
arXiv (All)
CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
#997237
arXiv (All)
J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science, no. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 354 pp
#96581
PhilArchive
Establishing a New Link between Fuzzy Logic, Neuroscience, and Quantum Mechanics through Bayesian Probability: Perspectives in Artificial Intelligence and Unconventional Computing
#203233
OpenAlex
Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
#144170
arXiv (OAI)
Extracting total Amb programs from proofs
#155454
arXiv (OAI)
Fair Vertex Problems Parameterized by Cluster Vertex Deletion
#173251
arXiv (OAI)
Parametric Toricity of Steady State Varieties of Reaction Networks
#617220
arXiv (OAI Expanded)
← Previous
Page 7 of 9
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.