Imagen de Portada

Beyond Pattern Completeness: Deciding Quasi-Reducibility in Left-Linear TRSs

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Koves, Daniel
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2025
Materias:	Computer Science Theoretical Computer Science Term Rewriting
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

GρπF: Graphical ρπ Framework
por: Cailler, Julie, et al.
Publicado: (2026)

Chapter Le Carte: al di là del genere
por: Cheli, Francesca
Publicado: (2025)

When lies become the truth: rewriting the conquest of Mexico in Carlos Fuentes's novella, The Two Shores
por: John Robert Schmitz
Publicado: (2006)

Artisanal inventiveness. The dynamics of rewriting in the plays of northern Italian puppeteers (19th-20th century)
por: Di Fazio, Francesca
Publicado: (2024)

ROMEO AND JULIET’S REWRITING IN THE WALT DISNEY’S ANIMATED MOVIE POCAHONTAS: ADAPTATION STUDIES, COMPARATIVE LITERATURE AND THEORY OF INTERTEXTUALITY
por: Tiago Marques Luiz
Publicado: (2023)

retracted
por: Fathi, Kevin
Publicado: (2025)

Approximate Optimality of Linear Contracts Under Uncertainty
por: Alon, Tal, et al.
Publicado: (2022)

Dynamic Many Valued Logic Systems in Theoretical Economics
por: Lu, Daniel
Publicado: (2024)

Generalized Principal-Agency: Contracts, Information, Games and Beyond
por: Gan, Jiarui, et al.
Publicado: (2022)

Competition Complexity in Multi-Item Auctions: Beyond VCG and Regularity
por: Beyhaghi, Hedyeh, et al.
Publicado: (2025)

The Welfare Gap of Strategic Storage: Universal Bounds and Price Non-Linearity
por: Jiang, Zhile, et al.
Publicado: (2026)

Drammaturgie originali per il teatro di figura contemporaneo. Il Macbeth all'improvviso di Gigio Brunello e Gyula Molnàr
por: Di Fazio, Francesca
Publicado: (2021)

The Proportional Veto Principle for Approval Ballots
por: Halpern, Daniel, et al.
Publicado: (2025)

Linear Risk Sharing on Networks
por: Charpentier, Arthur, et al.
Publicado: (2025)

Testing the simplicity of strategy-proof mechanisms
por: Brown, Alexander L., et al.
Publicado: (2024)

The Limits of Tolerance
por: Miller, Alan D.
Publicado: (2024)

Coarse Descriptions and Cautious Preferences
por: Piermont, Evan, et al.
Publicado: (2024)

Speeding up deferred acceptance
por: Gutin, Gregory Z., et al.
Publicado: (2024)

A Linear Theory of Multi-Winner Voting
por: Xia, Lirong
Publicado: (2025)

Beyond Regularity: Simple versus Optimal Mechanisms, Revisited
por: Feng, Yiding, et al.
Publicado: (2024)

Complexity and Manipulation of International Kidney Exchange Programmes with Country-Specific Parameters
por: Colley, Rachael, et al.
Publicado: (2025)

Geometric Formalization of First-Order Stochastic Dominance in $N$ Dimensions: A Tractable Path to Multi-Dimensional Economic Decision Analysis
por: Li, Jingyuan
Publicado: (2025)

Tractable General Equilibrium
por: Goktas, Denizalp, et al.
Publicado: (2025)

Reallocating Wasted Votes in Proportional Parliamentary Elections with Thresholds
por: Delemazure, Théo, et al.
Publicado: (2025)

Discrete Budget Aggregation: Truthfulness and Proportionality
por: Schmidt-Kraepelin, Ulrike, et al.
Publicado: (2025)

Proportional Representation in Rank Aggregation
por: Lederer, Patrick
Publicado: (2025)

Pairwise efficiency and monotonicity imply Pareto efficiency in (probabilistic) object allocation
por: Demeulemeester, Tom, et al.
Publicado: (2025)

Maximizing Social Welfare with Side Payments
por: Geffner, Ivan, et al.
Publicado: (2025)

Marketplace Operators Can Induce Competitive Pricing
por: Ding, Tiffany, et al.
Publicado: (2025)

Automated Market Making for Goods with Perishable Utility
por: Zang, Chengqi, et al.
Publicado: (2025)

On the existence of pure epsilon-equilibrium
por: Pradelski, Bary S. R., et al.
Publicado: (2025)

A Directed Lazy Random Walk Model to Three-Way Dynamic Matching Problem
por: Roy, Souvik, et al.
Publicado: (2025)

Strategic Bid Shading in Real-Time Bidding Auctions in Ad Exchange Using Minority Game Theory
por: Das, Dipankar
Publicado: (2025)

Understanding the Impact of Proportionality in Approval-Based Multiwinner Elections
por: Boehmer, Niclas, et al.
Publicado: (2025)

Sequential Elimination and Union Shapley Value for Group Assessment in Coalitional Games
por: Kępczyński, Piotr, et al.
Publicado: (2025)

Non-Monetary Mechanism Design without Priors: Achieving Efficiency via Adaptive Costly Audits
por: Dai, Yan, et al.
Publicado: (2025)

Robust Learning with Private Information
por: Okumura, Kyohei
Publicado: (2025)

Automated Market Making for Energy Sharing
por: Fabi, Michele, et al.
Publicado: (2025)

Eliciting Informed Preferences
por: Camara, Modibo K., et al.
Publicado: (2025)

A contemporary approach on revisited cost allocation using airport games: the effects of code-sharing
por: Saavedra-Nieves, Alejandro, et al.
Publicado: (2025)