Вы здесь

Главная

система переписывания термов

Связанные издания:

33 Examples of Termination
Affine Geometry of Collinearity and Conditional Term Rewriting
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems
Burnside Monoids Word Problem and the Conjecture of Brzozowski
Code Generation = A+BURS
Comparison of Simplification Orderings
Conditional and Typed Rewriting Systems: Proc./4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994
Context-Sensitive Computations in Confluent Programs
Equational Reasoning with 2-dimensional Diagrams
Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Graph Reducibility of Term Rewriting Systems
Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010
Logic Based Structure Rewriting Systems
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
On Relating Rewriting Systems and Graph Grammars to Event Structures
On the Connections between Rewriting and Formal Language Theory
On the Expressive Power of Rewriting
Proving Termination of Associative-Commutative Rewriting Systems Using the Knuth-Bendix Ordering
Recursive Decomposition Ordering
Relative Undecidability in Term Rewriting
Rewrite Systems with Abstraction and -rule: Types, Approximants and Normalization
Rewriting Techniques and Applications: Proc./10th Intern. Conf., RTA-99. Trento, Italy, July 1999
Specialization of Lazy Functional Logic Programs
Termination of Term Rewriting: Well-foundedness, Totality and Transformations
Term Rewriting: Advanced Course/French Spring School of Theoretical Computer Science. Font Romeux, France, May 1993
The Word Problem for Thue Rewriting Systems
Transformation of Orthogonal Term Rewriting Systems
Word Problem for Thue Systems with a Few Relations
Метод автоматической генерации автотюнеров для параллельных программ
Трансляция алгебраических программ в исполняемый код