Buchumschlag

The Maude strategy language

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Eker, Steven, Martí-Oliet, Narciso, Meseguer, José, Rubio, Rubén, Verdejo, Alberto
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science 68Q60 F.4.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Simulating and model checking membrane systems using strategies in Maude
von: Rubio, Rubén, 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)

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

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

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Positional $ω$-regular languages
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
von: Casares, Antonio, et al.
Veröffentlicht: (2025)

Layered automata: A canonical model for automata over infinite words
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Transition-based vs stated-based acceptance for automata over infinite words
von: Casares, Antonio
Veröffentlicht: (2025)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
von: Casares, Antonio, et al.
Veröffentlicht: (2023)

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

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

Anti-Context-Free languages
von: Cardó, Carles
Veröffentlicht: (2024)

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

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
von: Galmiche, Didier, et al.
Veröffentlicht: (2024)

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

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
von: Deng, Zhibo, et al.
Veröffentlicht: (2025)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

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

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

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

Graded Monads in the Semantics of Nominal Automata
von: Schulze, Hannes, et al.
Veröffentlicht: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
von: Nakano, Keisuke, et al.
Veröffentlicht: (2024)

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

Doubly Fair Parity Games
von: Hausmann, Daniel, et al.
Veröffentlicht: (2023)

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

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

Topological Logics with Connectedness over Euclidean Spaces
von: Kontchakov, Roman, et al.
Veröffentlicht: (2011)

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
von: Ambroszkiewicz, Stanislaw, et al.
Veröffentlicht: (2021)

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

An algebraic characterisation of Eve-positional languages
von: Colcombet, Thomas, et al.
Veröffentlicht: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Well-quasi-ordered classes of bounded clique-width
von: Dumas, Maël, et al.
Veröffentlicht: (2026)