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
A Lindström Theorem for Fitting's Modal Logic over a Finite Heyting Algebra
#618749
arXiv (OAI Expanded)
A Lindström Theorem for Fitting's Modal Logic over a Finite Heyting Algebra
#620428
arXiv (All)
Abstract computation over first-order structures. Extras: From programs to decision trees I
#656860
arXiv (OAI Expanded)
Abstract computation over first-order structures. Extras: From programs to decision trees I
#658996
arXiv (All)
On the Depth Scalability of Logic Gate Networks
#783610
arXiv (OAI Expanded)
On the Depth Scalability of Logic Gate Networks
#785201
arXiv (All)
Most Properties are Undecidable for Transitive Tense Logics
#997510
arXiv (All)
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
#1013632
arXiv (All)
Reintroducing the Second Player in EPR
#1014614
arXiv (All)
Monoidal su-categories
#616514
arXiv (OAI Expanded)
Monoidal su-categories
#617014
arXiv (All)
Runtime Verification under Split Past and Future
#657196
arXiv (OAI Expanded)
Runtime Verification under Split Past and Future
#659332
arXiv (All)
Further Comments on Yablo's Construction
#783464
arXiv (OAI Expanded)
Further Comments on Yablo's Construction
#785054
arXiv (All)
Policy Change for Treelike Monitors
#997028
arXiv (All)
Algorithmic Aspects of Todas Theorem
#1034672
arXiv (All)
Solving Streett and Emerson-Lei Games with Universal Trees
#622813
arXiv (OAI Expanded)
Solving Streett and Emerson-Lei Games with Universal Trees
#625086
arXiv (All)
Intuitionistic Unitary Linear Logic: A Proof-Theoretical Approach to Purely Quantum Higher-Order
#920574
arXiv (OAI Expanded)
Intuitionistic Unitary Linear Logic: A Proof-Theoretical Approach to Purely Quantum Higher-Order
#924808
arXiv (All)
Examples and counterexamples of injective types
#927213
arXiv (All)
Coexact completion of profinite Heyting algebras and uniform interpolation
#971783
arXiv (All)
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
#998232
arXiv (All)
The calculus of neo-Peircean relations
#128383
arXiv (OAI)
Pseudo-Complex Quantifier Elimination
#617540
arXiv (OAI Expanded)
Pseudo-Complex Quantifier Elimination
#618040
arXiv (All)
Redundancy rules for MaxSAT
#919798
arXiv (OAI Expanded)
Redundancy rules for MaxSAT
#924027
arXiv (All)
Walking on the DARKSIDE
#973335
arXiv (All)
Streaming LRAT Certificates into Lean Theorems
#974479
arXiv (All)
Deciding Predicate Logical Theories of Real-Valued Functions
#1011953
arXiv (All)
Counting on Nowhere Dense Classes
#1013032
arXiv (All)
MightyPPL : Towards model checking MTL
#1013282
arXiv (All)
Various Properties of Various Ultrafilters, Various Graph Width Parameters, and Various Connectivity Systems (with Survey)
#147016
arXiv (OAI)
Semantics out of context: nominal absolute denotations for first-order logic and computation
#149126
arXiv (OAI)
CaMeLoT: CaMeL orchestrated with Temporal logic for static verification and liveness
#1012846
arXiv (All)
Climate Physics Dynamic Matching
#779389
arXiv (OAI Expanded)
Climate Physics Dynamic Matching
#780764
arXiv (All)
A Dichotomy Theorem for Ordinal Ranks in MSO
#986107
arXiv (All)
Adaptive Strategies for GR(1) Games
#788400
arXiv (OAI Expanded)
Adaptive Strategies for GR(1) Games
#792400
arXiv (All)
Verification of Combinational Logic in Nuprl
#493442
Cornell eCommons
Towards Term-based Verification of Diagrammatic Equivalence
#674299
arXiv (OAI Expanded)
Towards Term-based Verification of Diagrammatic Equivalence
#677497
arXiv (All)
Property Testing for Recursive Query Languages
#926776
arXiv (All)
Staged Hybrid Quantum-Classical Programming
#974836
arXiv (All)
Optimising Metamath Proofs for Human Working Memory
#975159
arXiv (All)
Confluence of conditional rewriting modulo
#984040
arXiv (All)
Erased Postulates, Identity Types and Quotients
#985919
arXiv (All)
← Previous
Page 2 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.