Cover Image

Compositionality of Rewriting Rules with Conditions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Behr, Nicolas, Krivine, Jean
Format:	Preprint
Published:	2019
Subjects:	Logic in Computer Science Category Theory 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary) F.4.2; G.3; G.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pure Data Spaces
by: Youssef, Saul
Published: (2025)

Elephants explore in spirals sometimes
by: Laulin, Lucile, et al.
Published: (2025)

Extremal Process of Last Progeny Modified Branching Random Walks
by: Ghosh, Partha Pratim, et al.
Published: (2024)

Moments of generalized fractional polynomial processes
by: Assefa, Johannes, et al.
Published: (2025)

A reaction network model of microscale liquid-liquid phase separation reveals effects of spatial dimension
by: Kim, Jinyoung, et al.
Published: (2024)

Wasserstein Convergence Rates for Empirical Measures of Random Subsequence of $\{nα\}$
by: Wu, Bingyao, et al.
Published: (2024)

Beyond Wald's Equation and the Optional Sampling Theorem
by: Klass, Michael J., et al.
Published: (2026)

Wasserstein error estimates between telegraph processes and Brownian motion
by: Barrera, Gerardo, et al.
Published: (2025)

Cotlar martingale transforms and related singular integrals
by: Bañuelos, Rodrigo
Published: (2026)

Filtered not Mixed: Stochastic Filtering-Based Online Gating for Mixture of Large Language Models
by: Saqur, Raeid, et al.
Published: (2024)

Iterated Generalized Counting Process and its Extensions
by: Dhillon, M., et al.
Published: (2024)

A geometric model of synthetic filtrations via context-dependent time
by: Adachi, Takanori
Published: (2025)

Drift and selection in LLM text ecosystems
by: Riis, Søren
Published: (2026)

Formal Foundations for Controlled Stochastic Activity Networks
by: Movaghar, Ali
Published: (2025)

Discrete Diffusion Models for Language Generation
by: Weligalle, Ashen
Published: (2025)

Localisation for constrained transports I: theory
by: Ciosmak, Krzysztof J.
Published: (2023)

Localisation for constrained transports II: applications
by: Ciosmak, Krzysztof J.
Published: (2023)

Discrete analogues of second-order Riesz transforms
by: Bañuelos, Rodrigo, et al.
Published: (2025)

Sharp $\ell^p$ inequalities for discrete singular integrals on the lattice $\mathbb{Z}^d$
by: Bañuelos, Rodrigo, et al.
Published: (2022)

MATRIX: Multi-Agent simulaTion fRamework for safe Interactions and conteXtual clinical conversational evaluation
by: Lim, Ernest, et al.
Published: (2025)

Advances in Quantum Genetic Algorithms
by: Lima, Dennis, et al.
Published: (2025)

Deformations of twisted sheaves and formality results
by: Meazzini, Francesco, et al.
Published: (2025)

A proximal approach to the Schrödinger bridge problem with incomplete information and application to contamination tracking in water networks
by: Mascherpa, Michele, et al.
Published: (2026)

Walsh's Brownian Motion and Donsker Scaling Limits of Perturbed Random Walks
by: Pavlyukevich, Ilya, et al.
Published: (2023)

On multidimensional elephant random walk with stops and random step sizes
by: Ghosh, Shyan, et al.
Published: (2026)

Modern column generation for estimating single- and multi-purchase ranked list choice models
by: Costa, Luciano, et al.
Published: (2026)

Drama Engine: A Framework for Narrative Agents
by: Pichlmair, Martin, et al.
Published: (2024)

Elephant random walks on infinite Cayley trees
by: Mukherjee, Soumendu Sundar
Published: (2025)

Boundary Disintegration for Weighted Residual Energy Trees
by: Tian, James
Published: (2026)

Permuton limit of a generalization of the Mallows and $k$-card-minimum models
by: Jasińska, Joanna, et al.
Published: (2024)

Hybrid LLM and Higher-Order Quantum Approximate Optimization for CSA Collateral Management
by: Jin, Tao, et al.
Published: (2025)

Blanket representation for spin networks with n-body interactions
by: Franchini, Simone
Published: (2025)

On the thermodynamic limit of bipartite spin networks
by: Franchini, Simone
Published: (2025)

A generalized Cheeger inequality and the Steklov Problem on finite graphs
by: Hua, Bobo, et al.
Published: (2025)

Exact Bias of Linear TRNG Correctors -- Spectral Approach
by: Skorski, Maciej, et al.
Published: (2025)

Weak semiconvexity estimates for Schrödinger potentials and logarithmic Sobolev inequality for Schrödinger bridges
by: Conforti, Giovanni
Published: (2022)

Universal scaling limits for spin networks via martingale methods
by: Franchini, Simone
Published: (2024)

A Markov Chain Arising from the Hopf Square Map on a Non-cocommutative Quantum Group
by: Snyder, Donovan
Published: (2025)

A Peculiar Proof of the Martingale Convergence Theorem
by: Fitzsimmons, P. J.
Published: (2024)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)