Вы здесь

Главная

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

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

A complition procedure for globally finite term rewriting systems
A General Theorem on Termination of Rewriting
A kernel language for programmed rewriting of (hyper)graphs
Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Applying Rewriting Techniques to the Verification of Erlang Processes
A Rewriting Logic Sampler
A Sequential Reduction Strategy
A Survey of Symnmetrized and Complete Group Presentations
Asynchronous Mobile Processes and Graph Rewriting
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Deduction in Geometry: Revised Selected Papers/8th International Workshop, ADG 2010, Munich, Germany, July 2010
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automatic Groups and String Rewriting
Combinatorial algorithms in algebraic structures
Commutativity in groups presented by finite Church-Rosser Thue systems
Completeness of Hierarchical Combinations of Term Rewriting Systems
Compositional Analysis for Equational Horn Programs
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday
Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Conditional Narrowing with Constructive Negation
Conditional Rewrite Rules as an Algebraic Semantics of Processes
Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning
Equivalent Transformations of Recursion Schemes and Admissible Rewriting Rule Systems
Formal Languages & Word-Rewriting
From Paramodulation to Narrowing
Frontiers of Combining Systems: Proc./10th International Symposium, FroCoS 2015, Wroclaw, Poland. September 2015
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Frontiers of Combining Systems: Proc./5th International Workshop, FroCos 2005. Vienna, Austria, September 2005
Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Fundamentals of Computation Theory: Proc./16th International Symposium, FCT 2007. Budapest, Hungary, August 2007
Graph Transformation: Proc./7th International Conference, ICGT 2014 Held as Part of STAF 2014, York, UK, July 2014
Graph Transformation: Proc./8th International Conference, ICGT 2015, Held as Part of STAF 2015, L Aquila, Italy, July 2015
GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering
Groups presented by finite two-monadic Church-Rosser Thue systems
Higher-Order and Semantic Unification
How to Realize LSE Narrowing
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Introduction to Rewriting
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free
Language and Automata Theory and Applications: Proc./13th International Conference, LATA 2019, St.Petersburg, Russia, March 2019
Language and Automata Theory and Applications: Proc./5th International Conference, LATA 2011, Tarragona, Spain, May 2011
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006
Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005
Logic Programming and Nonmonotonic Reasoning: Proc./12th International Conference, LPNMR 2013, Corunna, Spain, September 2013