DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Rewriting
Rewriting
Arxiv:1804.04307V1 [Math.RA] 12 Apr 2018 Prtr.A Xml Fsc Lersi H Di the Di Is Algebras of Such of Example an Operators
Lectures on Algebraic Rewriting
Thue Systems As Rewriting Systems~
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
Verifying the Unification Algorithm In
Unification: a Multidisciplinary Survey
Strategies for Linear Rewriting Systems: Link with Parallel Rewriting And
Rewriting Via Coinserters
Finite Complete Rewriting Systems for Regular Semigroups
Lecture 9: Recurrence Relations
EQUATIONS and REWRITE RULES a Survey
Rewriting Abstract Reduction Relations
On the Theory of One-Step Rewriting in Trace Monoids
Massachusetts Mathematics Curriculum Framework — 2017
Rewriting Integer Variables Into Zero-One Variables: Some Guidelines for the Integer Quadratic Multi-Knapsack Problem Dominique Quadri, E
Rewriting Systems
Query Rewriting for Existential Rules with Compiled Preorder
Efficient Rewriting Using Decision Trees
Top View
LARS: a Learning Algorithm for Rewriting Systems∗
Proving Termination of Integer Term Rewriting*
The Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems
Abstract Rewriting a = the Set of Nite Sequences Over ,
Context-Free Rewriting Systems and Word-Hyperbolic Structures With
String-Rewriting Systems Hi This Chapter We Introduce the String-Rewriting Systems and Study Their Basic Properties
A Term-Rewriting Semantics for Imperative Style Programming David A
Linear Higher-Order Pre-Unification
Semi-Thue Systems and Word Problems
On One-Rule Grid Semi-Thue Systems Michel Latteux, Yves Roos
Termination of Graph Rewriting Systems Through Language Theory Guillaume Bonfante, Miguel Couceiro
A Higher-Order Implementation of Rewriting
Notes on Semi-Thue Systems in a Context of Morphogrammatics Further Explanations of the Formal Notions Behind Morphic Cellular Automata
Braids Described As an Orthogonal Rewriting System
An Overview of Term Rewriting Systems
Structures for Abstract Rewriting Marc Aiguier, Diane Bahrami
Rewriting in Varieties of Idempotent Semigroups
Revisiting Term-Rewriting in Algebra
Nominal Rewriting and Unification Theory
Rewriting Generators for (Sub)Semigroups
Logged Rewriting for Monoids
Complete Rewriting System for the Chinese Monoid
Complete Rewriting Systems and Homology of Monoid Algebras
An Abstract Way to Define Rewriting Logic
Characterizing Languages by Normalization and Termination in String Rewriting? (Extended Abstract)
Rewriting Logic As a Logic of Special Relations
Context-Free Grammar Rewriting and the Transfer of Packed Linguistic Representations
DIAGRAM REWRITING and OPERADS by Yves Lafont
Query Rewriting for Existential Rules with Compiled Preorder Mélanie König, Michel Leclère, Marie-Laure Mugnier
On Finite Semigroup Cross-Sections and Complete Rewriting Systems
Rewriting with Frobenius
The Rewriting Algorithm
Datatype Defining Rewrite Systems for Naturals and Integers
Free Inverse Monoids up to Rewriting David Janin