Вы здесь

Главная

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

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

An Algebra of Petri Nets with Arc-Based Time Restrictions
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005
CPO models for infinite term rewriting
Decidability of Type-Checking in the Calculis of Algebraic Constructions with Size Annotations
Equational Inference, Canonical Proofs, and Proof Orderings
Formal Grammar: Revised Selected Papers/14th International Conference, FG 2009, Bordeaux, France, July 2009
Frontiers of Combining Systems: Proc./9th International Symposium, FroCoS 2013, Nancy, France, September 2013
Functional and Constraint Logic Programming: Revised Selected Papers/19th International Workshop, WFLP 2010, Madrid, Spain, January 2010
Fundamentals of Computation Theory: Proc./18th International Symposium, FCT 2011, Oslo, Norway, August 2011
Graph Transformations: Proc./4th International Conference, ICGT 2008. Leicester, UK, September 2008
Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/Second Intern. Workshop, HOA 95. Paderborn, Germany, September 1995
Infinitary rewriting: meta-theory and convergence
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Language and Automata Theory and Applications: Proc./9th International Conference, LATA 2015
Logic Based Program Synthesis and Transformation: Revised Selected Papers/14th International Symposium, LOPSTR 2004. Verona, Italy, August 2004
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Petri Net Semantics of the Finite pi-Calculus
Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012
Programming Languages and Systems: Proc./12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 2014
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/22nd International Workshop, WADT 2014, Sinaia, Romnia, September 2014
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Rewriting Techniques and Applications: Proc./20th International Conference, RTA 2009 Brasilia, Brazil, June/July 2009
Rewriting Techniques and Applications: Proc./7th International Conference, RTA-96. New Brunswick,NJ,USA,July 1996
Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009
Term Rewriting and All That
Term Rewriting and Applications: Proc./16th International Conference, RTA 2005. Nara, Japan, April 2005
Term Rewriting and Applications: Proc./17th International Conference, RTA 2006. Seattle, WA, USA, August 2006
Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007
Transformations for Efficient Evaluations in Functional Programming
Typed Lambada Calculi and Applications: Proc./10th International Conference, TLCA 2011, Novi Sad, Serbia, June 2011
Генерация выполняемого кода для языка алгебраических спецификаций
Интегрированные правила переписывания термов и их применение в автоматической верификации программ
Системы переписывания формул