Buchumschlag

Programs Versus Finite Tree-Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moshkov, Mikhail
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Algorithmic Problems for Computation Trees
von: Moshkov, Mikhail
Veröffentlicht: (2025)

Finite-Choice Logic Programming
von: Martens, Chris, et al.
Veröffentlicht: (2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Programs as Singularities
von: Murfet, Daniel, et al.
Veröffentlicht: (2025)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
von: Li, Xianzhiyu, et al.
Veröffentlicht: (2024)

Program Synthesis in Saturation
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

Logic Programming with Multiplicative Structures
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Linear Programming in Isabelle/HOL
von: Parsert, Julian
Veröffentlicht: (2024)

A Diagrammatic Basis for Computer Programming
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Declassification Policy for Program Complexity Analysis
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2024)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

Optimization Modulo Integer Linear-Exponential Programs
von: Hitarth, S, et al.
Veröffentlicht: (2025)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
von: Brieger, Marvin, et al.
Veröffentlicht: (2024)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
von: Heuer, Jan, et al.
Veröffentlicht: (2024)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Modular Automatic Complexity Analysis of Recursive Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2025)

Properties of UTxO Ledgers and Programs Implemented on Them
von: Vinogradova, Polina, et al.
Veröffentlicht: (2025)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

Proceedings 41st International Conference on Logic Programming
von: Gebser, Martin, et al.
Veröffentlicht: (2025)

Reasoning about Medical Triage Optimization with Logic Programming
von: Patil, Jaikrishna Manojkumar, et al.
Veröffentlicht: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
von: Pereira, Mário
Veröffentlicht: (2024)

Targeting Completeness: Automated Complexity Analysis of Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2026)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

Bridging Logic Programming and Deep Learning for Explainability through ILASP
von: Dreossi, Talissa
Veröffentlicht: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Ordered Completion for Non-Locally Tight mini-gringo Programs
von: Heuer, Jan
Veröffentlicht: (2025)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
von: Zhang, Yuanrui
Veröffentlicht: (2026)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

VerifyThis 2019: A Program Verification Competition (Extended Report)
von: Dross, Claire, et al.
Veröffentlicht: (2020)