Copertina

Compositionality of Rewriting Rules with Conditions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Behr, Nicolas, Krivine, Jean
Natura:	Preprint
Pubblicazione:	2019
Soggetti:	Logic in Computer Science Category Theory 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary) F.4.2; G.3; G.2.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Pure Data Spaces
di: Youssef, Saul
Pubblicazione: (2025)

Elephants explore in spirals sometimes
di: Laulin, Lucile, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

Formal Foundations for Controlled Stochastic Activity Networks
di: Movaghar, Ali
Pubblicazione: (2025)

Discrete Diffusion Models for Language Generation
di: Weligalle, Ashen
Pubblicazione: (2025)

Localisation for constrained transports I: theory
di: Ciosmak, Krzysztof J.
Pubblicazione: (2023)

Localisation for constrained transports II: applications
di: Ciosmak, Krzysztof J.
Pubblicazione: (2023)

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

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

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

Advances in Quantum Genetic Algorithms
di: Lima, Dennis, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Elephant random walks on infinite Cayley trees
di: Mukherjee, Soumendu Sundar
Pubblicazione: (2025)

Boundary Disintegration for Weighted Residual Energy Trees
di: Tian, James
Pubblicazione: (2026)

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

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

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

On the thermodynamic limit of bipartite spin networks
di: Franchini, Simone
Pubblicazione: (2025)

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

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

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

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

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

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

Rewriting Systems on Arbitrary Monoids
di: Magalhães, Eduardo
Pubblicazione: (2026)