Maria C. F. Ferreira

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Total termination of term rewriting Rewriting Techniques and Applications	2022-12-09	Paper
Dummy elimination in equational rewriting Rewriting Techniques and Applications	2022-12-09	Paper
Dummy elimination: Making termination easier Fundamentals of Computation Theory	2022-12-09	Paper
-calculi with explicit substitutions and composition which preserve -strong normalization Algebraic and Logic Programming	2017-01-19	Paper
scientific article; zbMATH DE number 1761896 (Why is no real title available?)	2002-07-01	Paper
Soliton-cuspon interaction for the Camassa-Holm equation Journal of Physics A: Mathematical and General	2000-04-25	Paper
scientific article; zbMATH DE number 1405631 (Why is no real title available?)	2000-02-23	Paper
scientific article; zbMATH DE number 1380897 (Why is no real title available?)	1999-12-20	Paper
\(\lambda\)-calculi with explicit substitutions preserving strong normalization Applicable Algebra in Engineering, Communication and Computing	1999-06-02	Paper
Total termination of term rewriting Applicable Algebra in Engineering, Communication and Computing	1996-05-14	Paper

Research outcomes over time

This page was built for person: Maria C. F. Ferreira