Вы здесь

Главная

Jouannaud J. -P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Theorem Proving Languages for Verification 2004 Jouannaud J. -P. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005
П Recursive Decomposition Ordering 1983 Jouannaud J. -P., Lescanne P., Reinig F. Centre de Recherche en Informatique de Nancy 18.12.1999
П Completion of a Set of Rules Modulo a Set of Equations 1984 Jouannaud J. -P., Kirchner H. Centre de Recherche en Informatique de Nancy 18.12.1999
СТ The Calculus of Algebraic Constructions 1999 Blanqui F., Jouannaud J. -P., Okada M. Lecture Notes in Computer Science 15.07.1999
СТ Rewrite Systems 1994 Dershowitz N., Jouannaud J. -P. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Specification and Proof in Membership Equational Logic 1997 Bouhoula A., Jouannaud J. -P., Meseguer J. Lecture Notes in Computer Science 16.05.1997
СТ OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization 1988 Jouannaud J. -P., Kirchner C., Kirchner H., Megrelis A. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Introduction to Rewriting 1995 Jouannaud J. -P. Lecture Notes in Computer Science 15.06.1995
СТ Modular Termination of Term Rewriting Systems Revisited 1995 Fernandez M., Jouannaud J. -P. Lecture Notes in Computer Science 24.05.1995
СТ Rewriting Techniques for Software Engineering 1994 Jouannaud J. -P. Lecture Notes in Computer Science 03.06.1994
СТ More Problems in Rewriting 1993 Dershowitz N., Jouannaud J. -P., Klop J. W. Lecture Notes in Computer Science 09.07.1993
СТ Termination and completion modulo associativity, communicativity and identity 1992 Jouannaud J. -P., Marche C. Theoretical Computer Science 28.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011 2011 Lecture Notes in Computer Science
  1. Jouannaud J. -P.
  2. Shao Z.
 11.01.2012
СБ Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday 2006 Lecture Notes in Artificial Intelligence
  1. Futatsugi K.
  2. Jouannaud J. -P.
  3. Meseguer J.
 28.09.2006
СБ Term Rewriting: Advanced Course/French Spring School of Theoretical Computer Science. Font Romeux, France, May 1993 1995 Lecture Notes in Computer Science
  1. Comon H.
  2. Jouannaud J. -P.
 14.06.1995
СБ Constraints in Computational Logics: Proc./First Intern. Conf., CCL 94. Munich, Germany, September 1994 1994 Lecture Notes in Computer Science
  1. Jouannaud J. -P.
 30.09.1994
СБ TAPSOFT`93: Theory and Practice of Software Development: Proc./4th Intern. Joint Conf. CAAP/FASE. Orsay, France, April 1993 1993 Lecture Notes in Computer Science
  1. Gaudel M. -C.
  2. Jouannaud J. -P.
 25.05.1993