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
Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
#998092
arXiv (All)
Recognizability equals CMSO-definability for graphs of rank-width at most two
#998295
arXiv (All)
A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
#1011038
arXiv (All)
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
#1011555
arXiv (All)
Legislating World-Model-Based Planning with Legal Reasoning
#1013699
arXiv (All)
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
#1013950
arXiv (All)
A Theory of a Two-Dimensional Typed Lambda Calculus
#1014073
arXiv (All)
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
#131301
arXiv (OAI)
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
#789569
arXiv (OAI Expanded)
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
#793573
arXiv (All)
Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents
#926888
arXiv (All)
A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
#677722
arXiv (All)
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
#987029
arXiv (All)
Concurrency, Causality and Conflict via Independence in Reversible Calculi
#1014089
arXiv (All)
An Oracle Separating Conjectures about Incompleteness in the Finite Domain
#1014427
arXiv (All)
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B
#676742
HAL Science
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
#676743
HAL Science
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
#633159
arXiv (OAI Expanded)
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
#635508
arXiv (All)
Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs
#661327
arXiv (OAI Expanded)
Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs
#662377
arXiv (All)
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
#799938
arXiv (All)
The Price of Remembering: A Calibrated Energy Law for Computation
#822039
arXiv (All)
Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
#926592
arXiv (All)
Rich Sequences and Decidability of Arithmetic Theories
#1034234
arXiv (All)
ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib
#656868
arXiv (OAI Expanded)
ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib
#659004
arXiv (All)
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
#998636
arXiv (All)
Limits of Uniform Certification in the Standard Turing Model -- Semantic Invariants and Admissible Methods
#999824
arXiv (All)
Retro-synthetic Riemannian geometry in Rocq I : Taylor series of a metric
#1033901
arXiv (All)
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
#149172
arXiv (OAI)
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
#182965
arXiv
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
#183015
arXiv Biology
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
#183065
arXiv (OAI Expanded)
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
#183115
arXiv (OAI)
LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
#610918
arXiv (OAI Expanded)
LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
#612395
arXiv (All)
Automata-less Monitoring via Trace-Checking (Extended Version)
#650674
arXiv (OAI Expanded)
Automata-less Monitoring via Trace-Checking (Extended Version)
#652127
arXiv (All)
Prove2Me: An Open Collaborative Platform for Scaling Math Formalization
#808670
arXiv (OAI Expanded)
A note on the reduction from LTLf to LTL
#809834
arXiv (OAI Expanded)
Prove2Me: An Open Collaborative Platform for Scaling Math Formalization
#818662
arXiv (All)
A note on the reduction from LTLf to LTL
#819830
arXiv (All)
AutoGraphForge: Towards Automated Graph Theory Discovery
#926397
arXiv (All)
The maximum entropy state
#926958
arXiv (All)
Length Generalization for Transformers via Compression
#986478
arXiv (All)
Learning to adapt GR(1) specifications through degradation
#1000194
arXiv (All)
Bisimulations up-to: beyond first-order transition systems
#433248
HAL Science
A Lean 4 Formalization of Scott's Continuous Lattices (1972)
#974478
arXiv (All)
Approximate Functional Dependencies---Implication Problem Revisited
#622877
arXiv (OAI Expanded)
← Previous
Page 5 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.