Imagen de Portada

Timed Strategies for Real-Time Rewrite Theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Olarte, Carlos, Ölveczky, Peter Csaba
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
por: Arias, Jaime, et al.
Publicado: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
por: Olarte, Carlos, et al.
Publicado: (2024)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
por: Kanovich, Max, et al.
Publicado: (2016)

Collusion Relations and their Applications to Balance Theory
por: Joinet, Jean-Baptiste, et al.
Publicado: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
por: Faggian, Claudia, et al.
Publicado: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
por: Santiago-Fernández, Sofía, et al.
Publicado: (2025)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
por: Blot, Valentin, et al.
Publicado: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2024)

Drag Rewriting
por: Dershowitz, Nachum, et al.
Publicado: (2024)

Rewriting and Inductive Reasoning
por: Hajdu, Márton, et al.
Publicado: (2024)

Templates in Rewriting Induction
por: Hagens, Kasper, et al.
Publicado: (2026)

A Constraint Opinion Model
por: Gadducci, Fabio, et al.
Publicado: (2025)

Bounded Rewriting Induction for LCSTRSs
por: Hagens, Kasper, et al.
Publicado: (2026)

A Topological Rewriting of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Efficient Decision Procedures for RNmatrix Semantics
por: Leme, Renato R., et al.
Publicado: (2026)

Confluence of Logically Constrained Rewrite Systems Revisited
por: Schöpf, Jonas, et al.
Publicado: (2024)

On Problems Dual to Unification: The String-Rewriting Case
por: Akçam, Zümrüt, et al.
Publicado: (2021)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
por: Chen, Hubie, et al.
Publicado: (2024)

Nominal Equational Rewriting and Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)

Formalizing Representation Theorems for a Logical Framework with Rewriting
por: Traversié, Thomas, et al.
Publicado: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
por: Ehrhard, Thomas, et al.
Publicado: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
por: Fernández, Maribel, et al.
Publicado: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
por: Ahrens, Emma, et al.
Publicado: (2025)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
por: Haase, Christoph, et al.
Publicado: (2024)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
por: Freiman, Robert, et al.
Publicado: (2024)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
por: Leme, Renato, et al.
Publicado: (2025)

A Dependency Pair Framework for Relative Termination of Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2024)

Automated Analysis of Logically Constrained Rewrite Systems using crest
por: Schöpf, Jonas, et al.
Publicado: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
por: Schöpf, Jonas, et al.
Publicado: (2023)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
por: Olarte, Carlos, et al.
Publicado: (2024)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
por: Meseguer, Jose
Publicado: (2024)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
por: Baader, Franz, et al.
Publicado: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2023)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2026)

Rewriting with Acyclic Queries: Mind Your Head
por: Geck, Gaetano, et al.
Publicado: (2022)

Expressiveness Results for Timed Modal Mu-Calculi
por: Cleaveland, Rance, et al.
Publicado: (2023)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
por: Kassing, Jan-Christoph, et al.
Publicado: (2024)