Touzet, Hélène A characterisation of multiply recursive functions with Higman’s lemma. (English) Zbl 1053.68056 Inf. Comput. 178, No. 2, 534-544 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Touzet}, Inf. Comput. 178, No. 2, 534--544 (2002; Zbl 1053.68056) Full Text: DOI
Rubio, Albert A fully syntactic AC-RPO. (English) Zbl 1049.68076 Inf. Comput. 178, No. 2, 515-533 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Rubio}, Inf. Comput. 178, No. 2, 515--533 (2002; Zbl 1049.68076) Full Text: DOI Link
Nagaya, Takashi; Toyama, Yoshihito Decidability for left-linear growing term rewriting systems. (English) Zbl 1049.68075 Inf. Comput. 178, No. 2, 499-514 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Nagaya} and \textit{Y. Toyama}, Inf. Comput. 178, No. 2, 499--514 (2002; Zbl 1049.68075) Full Text: DOI Link
Hofbauer, Dieter; Huber, Maria Test sets for the universal and existential closure of regular tree languages. (English) Zbl 1049.68077 Inf. Comput. 178, No. 2, 465-498 (2002). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{D. Hofbauer} and \textit{M. Huber}, Inf. Comput. 178, No. 2, 465--498 (2002; Zbl 1049.68077) Full Text: DOI Link
de Groote, Philippe On the strong normalisation of intuitionistic natural deduction with permutation-conversions. (English) Zbl 1031.03071 Inf. Comput. 178, No. 2, 441-464 (2002). MSC: 03F05 PDFBibTeX XMLCite \textit{P. de Groote}, Inf. Comput. 178, No. 2, 441--464 (2002; Zbl 1031.03071) Full Text: DOI Link
Nieuwenhuis, Robert; Rivero, José Miguel Practical algorithms for deciding path ordering constraint satisfaction. (English) Zbl 1053.68094 Inf. Comput. 178, No. 2, 422-440 (2002). MSC: 68T20 PDFBibTeX XMLCite \textit{R. Nieuwenhuis} and \textit{J. M. Rivero}, Inf. Comput. 178, No. 2, 422--440 (2002; Zbl 1053.68094) Full Text: DOI Link
Marcinkowski, Jerzy The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable. (English) Zbl 1049.03031 Inf. Comput. 178, No. 2, 412-421 (2002). MSC: 03D35 03C05 03B25 68Q42 PDFBibTeX XMLCite \textit{J. Marcinkowski}, Inf. Comput. 178, No. 2, 412--421 (2002; Zbl 1049.03031) Full Text: DOI Link
Courcelle, Bruno A monadic second-order definition of the structure of convex hypergraphs. (English) Zbl 1049.68098 Inf. Comput. 178, No. 2, 391-411 (2002). MSC: 68R10 05C65 03B25 PDFBibTeX XMLCite \textit{B. Courcelle}, Inf. Comput. 178, No. 2, 391--411 (2002; Zbl 1049.68098) Full Text: DOI
Baader, Franz; Tinelli, Cesare Deciding the word problem in the union of equational theories. (English) Zbl 1049.03032 Inf. Comput. 178, No. 2, 346-390 (2002). MSC: 03D40 03B25 03C05 03B35 68Q42 68T15 PDFBibTeX XMLCite \textit{F. Baader} and \textit{C. Tinelli}, Inf. Comput. 178, No. 2, 346--390 (2002; Zbl 1049.03032) Full Text: DOI Link