:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Piotrovskaya, Ekaterina, Lobski, Leo, Zanasi, Fabio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Machine Learning 68Q45 F.1.1; D.3.1
Online-Zugang:	https://arxiv.org/abs/2407.00245
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Monitoring Hyperproperties over Observed and Constructed Traces
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

Commutative N-polyregular functions
von: Lopez, Aliaume
Veröffentlicht: (2024)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
von: Ding, Sichen, et al.
Veröffentlicht: (2026)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

The Algebra of Nondeterministic Finite Automata
von: Gorrieri, Roberto
Veröffentlicht: (2023)

Axiomatizing NFAs Generated by Regular Grammars
von: Gorrieri, Roberto
Veröffentlicht: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
von: Li, Zihao, et al.
Veröffentlicht: (2026)

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

Principal Types as Partial Involutions
von: Honsell, Furio, et al.
Veröffentlicht: (2024)

Strategies, model checking and branching-time properties in Maude
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Model checking strategy-controlled systems in rewriting logic
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Metalevel transformation of strategies
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

Bishop's (up)crossing inequality and lower semicomputable random reals revisited
von: Andreev, Mikhail, et al.
Veröffentlicht: (2025)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

An Expressive Trace Logic for Recursive Programs
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

Relational Connectors and Heterogeneous Bisimulations
von: Nora, Pedro, et al.
Veröffentlicht: (2024)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

Conformance Games for Graded Semantics
von: Forster, Jonas, et al.
Veröffentlicht: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
von: Wang, Shuai
Veröffentlicht: (2024)

Relative Constructibility via Generalised Sequential Algorithms
von: Lau, Desmond
Veröffentlicht: (2024)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
von: Lobski, Leo, et al.
Veröffentlicht: (2026)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
von: Zhang, Manqing, et al.
Veröffentlicht: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2022)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

Probabilistic Nets-within-Nets
von: Köhler-Bußmeier, Michael
Veröffentlicht: (2024)

On Equivalent Characterizations of NP in Abstract Models of Computation
von: Kirn, Jeremy C., et al.
Veröffentlicht: (2025)

A "Symbolic" Representation of Object-Nets (Extended Version)
von: Köhler-Bussmeier, Michael, et al.
Veröffentlicht: (2024)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
von: Huseynzade, Rafig
Veröffentlicht: (2025)