:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Huang, Han, Ma, Chengzhi, Zhao, Yuxin, Wang, Qingyao, Xiao, Xinglong, Shu, Xiulin, Hao, Zhifeng
Format:	Preprint
Published:	2025
Subjects:	Emerging Technologies Logic in Computer Science F.1.1; J.3
Online Access:	https://arxiv.org/abs/2512.23734
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
by: Sundaram, Aarthi, et al.
Published: (2021)

Toward the Rational Design of Molecular Field-Coupled Nanocomputing Candidates
by: Ravera, Federico, et al.
Published: (2026)

Quantum State Diffusion on a Graph
by: Vining III, John C, et al.
Published: (2024)

Information-Theoretic Constraints on Variational Quantum Optimization: Efficiency Transitions and the Dynamical Lie Algebra
by: Tan, Jun Liang
Published: (2025)

Harvesting Brownian Motion: Zero Energy Computational Sampling
by: Doty, David, et al.
Published: (2023)

Toward Quantum-Optimized Flow Scheduling in Multi-Beam Digital Satellites
by: Yan, Qiben, et al.
Published: (2026)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
by: Lee, Hochang, et al.
Published: (2021)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

Conditions for a quadratic quantum speedup in nonlinear transforms with applications to energy contract pricing
by: Agliardi, Gabriele, et al.
Published: (2023)

QR-SPPS: Quantum-Native Retail Supply Chain Risk Simulation via VQE, ADAPT-VQE Counterfactual Policy Ranking, and DOS-QPE Boltzmann Tail Risk Quantification
by: Chongder, Sumit Tapas
Published: (2026)

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
by: Xue, Chengfeng, et al.
Published: (2026)

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Complex Algebras of Arithmetic
by: Düntsch, Ivo, et al.
Published: (2009)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

On Equivalent Characterizations of NP in Abstract Models of Computation
by: Kirn, Jeremy C., et al.
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
by: Faizy, Omid, et al.
Published: (2025)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

How to Verify a Turing Machine with Dafny
by: Lederer, Edgar F. A.
Published: (2026)

Relative Constructibility via Generalised Sequential Algorithms
by: Lau, Desmond
Published: (2024)

Quantum Approximate Optimization Algorithm: Performance on Simulators and Quantum Hardware
by: Irfan, Abyan Khabir, et al.
Published: (2025)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
by: Li, Chao
Published: (2026)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Loop unrolling: formal definition and application to testing
by: Huang, Li, et al.
Published: (2025)

On the Counting Complexity of the Skolem Problem
by: Jindal, Gorav, et al.
Published: (2024)

All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler
by: Rodrigues, J. P. T., et al.
Published: (2025)

DEMO enhanced BPMN
by: Guerreiro, Sérgio, et al.
Published: (2024)

Multi-Function Multi-Way Analog Technology for Sustainable Machine Intelligence Computation
by: Kalantzis, Vassilis, et al.
Published: (2024)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
by: Ren, Yuanjie, et al.
Published: (2026)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)