Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro Corrigendum to: “Inductive-data-type systems”. (English) Zbl 1432.68210 Theor. Comput. Sci. 817, 81-82 (2020). MSC: 68Q42 68N18 68Q65 PDFBibTeX XMLCite \textit{F. Blanqui} et al., Theor. Comput. Sci. 817, 81--82 (2020; Zbl 1432.68210) Full Text: DOI
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro Inductive-data-type systems. (English) Zbl 0992.68121 Theor. Comput. Sci. 272, No. 1-2, 41-68 (2002); corrigendum ibid. 817, 81-82 (2020). MSC: 68Q42 68N18 68Q65 PDFBibTeX XMLCite \textit{F. Blanqui} et al., Theor. Comput. Sci. 272, No. 1--2, 41--68 (2002; Zbl 0992.68121) Full Text: DOI
Bouhoula, A.; Jouannaud, J.-P.; Meseguer, J. Specification and proof in membership equational logic. (English) Zbl 0938.68057 Theor. Comput. Sci. 236, No. 1-2, 35-132 (2000). MSC: 68Q65 PDFBibTeX XMLCite \textit{A. Bouhoula} et al., Theor. Comput. Sci. 236, No. 1--2, 35--132 (2000; Zbl 0938.68057) Full Text: DOI
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro The calculus of algebraic constructions. (English) Zbl 0943.68153 Narendran, Paliath (ed.) et al., Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1631, 301-316 (1999). MSC: 68T15 03B35 68Q42 68Q65 PDFBibTeX XMLCite \textit{F. Blanqui} et al., Lect. Notes Comput. Sci. 1631, 301--316 (1999; Zbl 0943.68153)
Jouannaud, Jean-Pierre; Okada, Mitsuhiro Abstract data type systems. (English) Zbl 0901.68121 Theor. Comput. Sci. 173, No. 2, 349-391 (1997). MSC: 68Q65 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{M. Okada}, Theor. Comput. Sci. 173, No. 2, 349--391 (1997; Zbl 0901.68121) Full Text: DOI
Jouannaud, Jean-Pierre Executable higher-order algebraic specifications. (English) Zbl 0764.68098 Theoretical aspects of computer science, Proc. 8th Annu. Symp., STACS ’91, Hamburg/Ger. 1991, Lect. Notes Comput. Sci. 480, 16-25 (1991). MSC: 68Q65 PDFBibTeX XMLCite \textit{J.-P. Jouannaud}, Lect. Notes Comput. Sci. 480, 16--25 (1991; Zbl 0764.68098)
Boudet, Alexandre; Jouannaud, Jean-Pierre; Schmidt-Schauss, Manfred Unification in Boolean rings and Abelian groups. (English) Zbl 0689.68040 J. Symb. Comput. 8, No. 5, 449-477 (1989). MSC: 68W30 06E20 68Q65 PDFBibTeX XMLCite \textit{A. Boudet} et al., J. Symb. Comput. 8, No. 5, 449--477 (1989; Zbl 0689.68040) Full Text: DOI
Jouannaud, Jean-Pierre; Kounalis, Emmanuel Automatic proofs by induction in theories without constructors. (English) Zbl 0682.68032 Inf. Comput. 82, No. 1, 1-33 (1989). MSC: 68W30 68T15 03D03 68Q65 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{E. Kounalis}, Inf. Comput. 82, No. 1, 1--33 (1989; Zbl 0682.68032) Full Text: DOI
Jouannaud, Jean-Pierre; Kirchner, Hélène Completion of a set of rules modulo a set of equations. (English) Zbl 0665.03005 SIAM J. Comput. 15, 1155-1194 (1986). Reviewer: A.Pettorossi MSC: 03B25 08B05 68Q65 03C05 PDFBibTeX XMLCite \textit{J.-P. Jouannaud} and \textit{H. Kirchner}, SIAM J. Comput. 15, 1155--1194 (1986; Zbl 0665.03005) Full Text: DOI
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José Operational semantics for order-sorted algebra. (English) Zbl 0591.68041 Automata, languages and programming, 12th Colloq., Nafplion/Greece 1985, Lect. Notes Comput. Sci. 194, 221-231 (1985). Reviewer: S.Bloom MSC: 68Q65 08C05 03C05 08B05 PDFBibTeX XML
Jouannaud, J. P.; Kirchner, H. Construction d’un plus petit ordre de simplification. (English) Zbl 0541.68013 RAIRO, Inf. Théor. 18, 191-208 (1984). MSC: 68Q65 03B25 PDFBibTeX XMLCite \textit{J. P. Jouannaud} and \textit{H. Kirchner}, RAIRO, Inf. Théor. 18, 191--208 (1984; Zbl 0541.68013) Full Text: EuDML
Jouannaud, Jean-Pierre; Lescanne, Pierre; Reinig, Fernand Recursive decomposition ordering. (English) Zbl 0513.68026 Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 331-348 (1983). MSC: 68Q65 PDFBibTeX XML Full Text: EuDML