Buchumschlag

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Park, Sewon, Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin
Format:	Preprint
Veröffentlicht:	2016
Schlagworte:	Numerical Analysis Logic in Computer Science 03B70, 65Y99, 68P, 68N, 68Q F.3.1; G.1.0; I.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

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

Polynomial definability in constraint languages with few subpowers
von: Bulín, Jakub, et al.
Veröffentlicht: (2023)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, 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)

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

Inorganic nutrients measured on water bottle samples during POLARSTERN cruise ARK-XXI/1
von: Kattner, Gerhard
Veröffentlicht: (2011)

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

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

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

Domains, Information Frames, and Their Logic
von: Spreen, Dieter
Veröffentlicht: (2025)

Behavioural Conformances based on Lax Couplings
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Physical oceanography during POLARSTERN cruise ARK-XXI/1b
von: Schauer, Ursula, et al.
Veröffentlicht: (2010)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)

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)

Physical oceanography during Charles Darwin cruise 74AB68_1 on section AR10
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

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

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

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
von: Echenim, Mnacho, et al.
Veröffentlicht: (2023)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Understanding the Nature of Generative AI as Threshold Logic in High-Dimensional Space
von: Levin, Ilya
Veröffentlicht: (2026)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
von: Liu, Bowen, et al.
Veröffentlicht: (2026)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

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)

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

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

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
von: Donadello, Ivan, et al.
Veröffentlicht: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Light scattering and CTD measurements from METEOR cruise M68/1
von: Walter, Maren
Veröffentlicht: (2006)

Weighing Obese Timed Languages
von: Asarin, Eugene, et al.
Veröffentlicht: (2025)

Computing the Bandwidth of Meager Timed Automata
von: Asarin, Eugene, et al.
Veröffentlicht: (2024)

Current meter data from METEOR cruise M68/1
von: Walter, Maren
Veröffentlicht: (2006)

Hydrochemistry measured on water bottle samples during Marion Dufresne cruise 35MF68SUZIL on section ISS1
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

The Complexity of Resilience for Digraph Queries
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2026)