The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jean-Pierre Jouannaud" ( http://dblp.L3S.de/Authors/Jean-Pierre_Jouannaud )

URL (Homepage):  http://www.lix.polytechnique.fr/~jouannaud/  Author page on DBLP  Author page in RDF  Community of Jean-Pierre Jouannaud in ASPL-2

Publication years (Num. hits)
1977-1985 (17) 1986-1991 (18) 1992-1996 (15) 1997-2005 (15) 2006-2007 (16) 2008-2015 (19) 2017-2018 (2)
Publication types (Num. hits)
article(34) incollection(1) inproceedings(59) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 12 keywords

Results
Found 103 publication records. Showing 102 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nachum Dershowitz, Jean-Pierre Jouannaud Graph Path Orderings. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Pierre-Yves Strub Coq without Type Casts: A Complete Proof of Coq Modulo Theory. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa Confluence of Layered Rewrite Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The computability path ordering. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Normal Higher-Order Termination. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Jianqi Li Termination of Dependently Typed Rewrite Rules. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa Confluence of Layered Rewrite Systems. Search on Bibsonomy CSL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud Confluence by Critical Pair Analysis. Search on Bibsonomy RTA-TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiaxiang Liu, Jean-Pierre Jouannaud Confluence: The Unifying, Expressive Power of Locality. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean Goubault-Larrecq, Jean-Pierre Jouannaud The Blossom of Finite Semantic Trees. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Jiaxiang Liu From diagrammatic confluence to modularity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Jianqi Li Church-Rosser Properties of Normal Rewriting. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Zhong Shao (eds.) Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Benjamin Monate Infinite Families of Finite String Rewriting Systems and Their Confluence. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Vincent van Oostrom Diagrammatic Confluence and Completion. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decreasing diagrams, completion, rewriting, confluence
1Jean-Pierre Jouannaud, Yoshihito Toyama Modular Church-Rosser Modulo: The Complete Picture. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2008 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The computability path ordering: the end of a quest Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio The Computability Path Ordering: The End of a Quest. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Ian Mackie Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio HORPO with Computability Closure : A Reconstruction Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio HORPO with Computability Closure: A Reconstruction. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Calculus of Inductive Constructions, Decision procedures, Theorem provers
1Jean-Pierre Jouannaud, Weiwen Xu Automatic Complexity Analysis for Programs Extracted from Coq Proof. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer Joseph Goguen (1941-2006). Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2006 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio Higher-Order Termination: from Kruskal to Computability Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada Inductive-data-type Systems Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada The Calculus of Algebraic Constructions Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Higher-Order Orderings for Normal Rewriting. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Modular Church-Rosser Modulo. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jacek Chrzaszcz, Jean-Pierre Jouannaud From OBJ to ML to Coq. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.) Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio Higher-Order Termination: From Kruskal to Computability. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Twenty Years Later. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Higher-Order Rewriting: Framework, Confluence and Termination. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Theorem Proving Languages for Verification. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada Inductive-data-type systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Adel Bouhoula, Jean-Pierre Jouannaud Automata-Driven Automated Induction. Search on Bibsonomy Inf. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer Specification and proof in membership equational logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner A Methodological View of Constraint Solving. Search on Bibsonomy Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada The Calculus of algebraic Constructions. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Ralf Treinen Constraints and Constraint Solving: An Introduction. Search on Bibsonomy CCL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio The Higher-Order Recursive Path Ordering. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Membership equational logic, calculus of inductive instructions, and rewrite logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Albert Rubio Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Mitsuhiro Okada Abstract Data Type Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer Specification and Proof in Membership Equational Logic. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Adel Bouhoula, Jean-Pierre Jouannaud Automata-Driven Automated Induction. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
1Jean-Pierre Jouannaud, Albert Rubio A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop Problems in Rewriting III. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Jean-Pierre Jouannaud (eds.) Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course Search on Bibsonomy Term Rewriting The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Book Review: A Proof Theory for General Unification. By Wayne Snyder. (Birkhauser, 1991. vi+175 pages. ISBN 0-8176-3593-9. $28.00). Search on Bibsonomy SIGACT News The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud Syntacticness, Cycle-Syntacticness, and Shallow Theories Search on Bibsonomy Inf. Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Walid Sadfi Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. Search on Bibsonomy CTRS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Jean-Pierre Jouannaud Modular Termination of Term Rewriting Systems Revisited. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud (eds.) Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germany, September 7-9, 1994 Search on Bibsonomy CCL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop More Problems in Rewriting. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Introduction to Rewriting. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Marie-Claude Gaudel, Jean-Pierre Jouannaud (eds.) TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Marché Termination and Completion Modulo Associativity, Commutativity and Identity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Rewriting Techniques for Software Engineering. Search on Bibsonomy COMPASS/ADT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud Decidable Problems in Shallow Equational Theories (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud Notations for Rewting. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1991 DBLP  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop Open Problems in Rewriting. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Kirchner Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. Search on Bibsonomy Computational Logic - Essays in Honor of Alan Robinson The full citation details ... 1991 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud Executable Higher-Order Algebraic Specifications. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Mitsuhiro Okada Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Mitsuhiro Okada A Computation Model for Executable Higher-Order Algebraic Specification Languages Search on Bibsonomy LICS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud Rewrite Systems. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud Syntactic Theories. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jieh Hsiang, Jean-Pierre Jouannaud Tutorial on Rewrite-Based Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Marché Completion modulo Associativity, Commutativity and Identity (AC1). Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination
1Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß Unification in Boolean Rings and Abelian Groups. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Emmanuel Kounalis Automatic Proofs by Induction in Theories without Constructors Search on Bibsonomy Inf. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Stéphane Kaplan, Jean-Pierre Jouannaud (eds.) Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings Search on Bibsonomy CTRS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß Unification in Free Extensions of Boolean Rings and Abelian Groups Search on Bibsonomy LICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, B. Waldmann Reductive conditional term rewriting systems. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1987 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Hélène Kirchner Completion of a Set of Rules Modulo a Set of Equations. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Emmanuel Kounalis Automatic Proofs by Induction in Equational Theories Without Constructors Search on Bibsonomy LICS The full citation details ... 1986 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Emmanuel Kounalis Proofs by induction in equational theories without constructors. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1985 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud (eds.) Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer Principles of OBJ2. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF OBJ, OBJ
1Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer Operational Semantics for Order-Sorted Algebra. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud (eds.) Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings Search on Bibsonomy FPCA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Hélène Kirchner Construction D'un Plus Petit Odre de Simplification. Search on Bibsonomy ITA The full citation details ... 1984 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Hélène Kirchner Completion of a Set of Rules Modulo a Set of Equations. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Miguel Munoz Termination of a Set of Rules Modulo a Set of Equations. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud Programming and Checking Data Types with REVE. Search on Bibsonomy ADT The full citation details ... 1983 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner Incremental Construction of Unification Algorithms in Equational Theories. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. Search on Bibsonomy IJCAI The full citation details ... 1983 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Pierre Lescanne On Multiset Orderings. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig Recursive Decomposition Ordering. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
1Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. Search on Bibsonomy IJCAI The full citation details ... 1981 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 102 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license