Вы здесь

Главная

переписывание

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

Logic Programs as Term Rewriting Systems
Logic, Rewriting, and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday
Memrane Computing: Revised Selected Papers/15th International Conference, CMC 2014, Prague, Czech Republic, August 2014
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
Modularity of Simple Termination of term Rewritin Systems with Shared Constructors
Net Refinement by Pullback Rewriting
Normalized Rewriting - Application to Ground Completion and Standard Bases
On deciding whether a monoid is a free monoid or is a group
On Efficient Reduction Algorithms for Some Trace Rewriting Systems
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems
On the termination of the Knuth-Bendix completion algorithm
On two problems related to cancellativity
Operational and Denotational Semantics of Rewrite Programs
Parallelizing Functional Programs by Term Rewriting
Polynomials for Proving Termination of Context-Sensitive Rewriting
Proving Termination of (Conditional) Rewrite Systems
Proving Termination of Logic Programs by Transforming Them into Equivalent Term Rewriting Systems
Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems
Rapid Integration of Software Engineering Techniques: Revised Selected Papers/Second International Workshop, RISE 2005. Heraklion, Crete, Greece, September 2005
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 2016
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules
Relations and Kleene Algebra in Computer Science: Proc./11th International Conference, RelMiCS 2009 and 6th International Conference, AKA 2009, Doha, Qatar, November 2009
Rewriting and Tree Automata
Rewriting as a Unified Model of Concurrency
Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting in Order-sorted Equational Logic
Rewriting Techniques and Applications: Proc./19th International Conference, RTA 2008. Hagenberg, Austria, July 2008
Some Extensions of Rewriting
Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views
Some undecidability results for non-monadic Church-Rosser Thue systems
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Specifications Using Multiple-Conclusion Logic Programs
Sufficient Completeness and Parametrized Proofs by Induction
Syntactical Analysis of Total Termination
Term Graph Rewriting for the pi-Calculus
The Origins of l-Calculus and Term Rewriting Systems
Towards a Provably Correct Compiler for OBJ3
Towards Generation of Efficient Transformations
Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The Netherlands
Universal Petri Nets and Process Rewrite Systems Extended With Procedures
Working Material for the Lectures of U. Montanari: International Summer School "Control Flow and Data Flow", Munich, Germany, August, 1984
Грузите файлы на Web-сервер браузерами
Доказательство теорем в математической информационной среде
Метод элиминации структур данных, основанный на системах переписывания формул
О взаимодействиях систем переписывания термов и регулярных языков деревьев
Переписываю ая машина и оптимизация стратегий переписывания термов
Применение систем переписывания формул в автоматической верификации программ
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов
Системы переписывания графов: выбор лидера в анонимных сетях