Trees in Algebra and ProgrammingDAUCHET, M.Theoretical computer science. 2000, Vol 236, Num 1-2, issn 0304-3975, 234 p.Serial Issue

Formalism and methodASTESIANO, E; REGGIO, G.Theoretical computer science. 2000, Vol 236, Num 1-2, pp 3-34, issn 0304-3975Article

Logicality of conditional rewrite systemsYAMADA, T; AVENHAUS, J; LORIA-SAENZ, C et al.Theoretical computer science. 2000, Vol 236, Num 1-2, pp 209-232, issn 0304-3975Article

Termination of term rewriting using dependency pairsARTS, T; GIESL, J.Theoretical computer science. 2000, Vol 236, Num 1-2, pp 133-178, issn 0304-3975Article

Maximum packing for k-connected partial k-trees in polynomial timeDESSMARK, A; LINGAS, A; PROSKUROWSKI, A et al.Theoretical computer science. 2000, Vol 236, Num 1-2, pp 179-191, issn 0304-3975Article

Interpretations of recursively defined typesSCHWARTZBACH, M. I.Theoretical computer science. 1992, Vol 106, Num 1, pp 119-134, issn 0304-3975Conference Paper

Graphical versus logical specificationsBOUDOL, G; LARSEN, K. G.Theoretical computer science. 1992, Vol 106, Num 1, pp 3-20, issn 0304-3975Conference Paper

Testing for the ground (co-)reducibility property in term-rewriting systemsKOUNALIS, E.Theoretical computer science. 1992, Vol 106, Num 1, pp 87-117, issn 0304-3975Conference Paper

CAAP'81. TREES IN ALGEBRA AND PROGRAMMING. 6TH COLLOQUIUM. GENOA, MARCH 5-7, 1981. PROCEEDINGSASTESIANO E ED; BOEHM C ED.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; 370 P.; BIBL. DISSEM.Conference Paper

More efficient bottom-up multi-pattern matching in treesCAI, J; PAIGE, R; TARJAN, R et al.Theoretical computer science. 1992, Vol 106, Num 1, pp 21-60, issn 0304-3975Conference Paper

CAAP '88: proceedings/13th. Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988DAUCHET, M; NIVAT, M.Lecture notes in computer science. 1988, Vol 299, issn 0302-9743, VIII-304 pConference Proceedings

CAAP '83. Trees in algebra and programming. 8th. Colloquium, L'Aquila, March 9-11, 1983. ProceedingsAUSIELLO, G; PROTASI, M.Lecture notes in computer science. 1983, Vol 159, issn 0302-9743, VI-416 pConference Proceedings