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
Zero-Knowledge Model Checking
#986243
arXiv (All)
Statistical Symmetry Release for Equivariant Quantum Learning
#998999
arXiv (All)
Robustness Analysis via Horofunction Compactification
#1034979
arXiv (All)
On Chaitin's Heuristic Principle and Halting Probability
#131199
arXiv (OAI)
Abduction in Logic Programming
#483540
OpenAlex
Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
#997545
arXiv (All)
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
#173325
arXiv (OAI)
S2a-reducibility and differentiation in Martin-Löf random reals
#616391
arXiv (OAI Expanded)
S2a-reducibility and differentiation in Martin-Löf random reals
#616891
arXiv (All)
Effective bases and notions of effective second countability in computable analysis
#1012057
arXiv (All)
Robust PAC Learning of Concurrent Stochastic Games
#927052
arXiv (All)
Delooping presented groups in homotopy type theory
#182999
arXiv
Delooping presented groups in homotopy type theory
#183049
arXiv Biology
Delooping presented groups in homotopy type theory
#183099
arXiv (OAI Expanded)
Delooping presented groups in homotopy type theory
#183149
arXiv (OAI)
On Left Adjoints Preserving Colimits in Homotopy Type Theory
#788476
arXiv (OAI Expanded)
On Left Adjoints Preserving Colimits in Homotopy Type Theory
#792476
arXiv (All)
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
#1014535
arXiv (All)
LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
#1035892
arXiv (All)
Hofmann-Streicher lifting of fibred categories
#177050
arXiv (OAI)
Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
#783557
arXiv (OAI Expanded)
Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
#785147
arXiv (All)
Causal Probabilistic Programming via Magmadic Do-Notation
#920755
arXiv (OAI Expanded)
Causal Probabilistic Programming via Magmadic Do-Notation
#924989
arXiv (All)
Deriving Program Logics from Distributive Monoidal Categories
#925800
arXiv (All)
Symbolic Informalization: Fluent, Productive, Multilingual
#986275
arXiv (All)
Fitting and Learning Basis-Restricted Propositional Formulas
#986580
arXiv (All)
A Formal Framework for Noisy Runtime Verification
#997342
arXiv (All)
Implicit Computation of Filtered Prime Implicants
#999279
arXiv (All)
Compact Partial Symmetry Breaking for Graph Search Problems
#1035952
arXiv (All)
Digital Twins Need Feedback
#1014749
arXiv (All)
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
#144325
arXiv (OAI)
Override and Update in Restriction Categories
#926391
arXiv (All)
Some Examples of Using the Legal Relations Language in the Legal Domain: Applied Deontic Logic
#679310
OpenAlex
Fagin's Theorem for Semiring Turing Machines
#173332
arXiv (OAI)
Topological Semantics for Scoped Computational Paths
#608960
arXiv (OAI Expanded)
Topological Semantics for Scoped Computational Paths
#610022
arXiv (All)
When Types Intersect and Effects Get Handled
#668562
arXiv (OAI Expanded)
When Types Intersect and Effects Get Handled
#670627
arXiv (All)
Unary Functions, Automorphisms, and Unlabeled First-Order Model Counting
#799770
arXiv (All)
Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support
#920097
arXiv (OAI Expanded)
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
#920108
arXiv (OAI Expanded)
Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support
#924328
arXiv (All)
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
#924339
arXiv (All)
A characterization of efficiently compilable constraint languages
#927083
arXiv (All)
Tree algebras and bisimulation-invariant MSO on finite graphs
#1000463
arXiv (All)
Fuzzy directed simulations for fuzzy modal logics over residuated lattices
#1011165
arXiv (All)
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs
#1012668
arXiv (All)
The Complexity of Generalized HyperLTL with Stuttering and Contexts
#1013414
arXiv (All)
An Explicit Ordinal Bound for System T Dialogue Trees
#1034132
arXiv (All)
← Previous
Page 3 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.