Maria C. F. Ferreira

From MaRDI portal
(Redirected from Person:1912705)
Person:1290509

Available identifiers

zbMath Open ferreira.maria-c-fWikidataQ102390762 ScholiaQ102390762MaRDI QIDQ1290509

List of research outcomes





PublicationDate of PublicationType
Total termination of term rewriting2022-12-09Paper
Dummy elimination in equational rewriting2022-12-09Paper
Dummy elimination: Making termination easier2022-12-09Paper
\(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization2017-01-19Paper
https://portal.mardi4nfdi.de/entity/Q45375152002-07-01Paper
Soliton-cuspon interaction for the Camassa-Holm equation2000-04-25Paper
https://portal.mardi4nfdi.de/entity/Q49386102000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q47056171999-12-20Paper
\(\lambda\)-calculi with explicit substitutions preserving strong normalization1999-06-02Paper
Total termination of term rewriting1996-05-14Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1290509&oldid=11084696"
Powered by MediaWiki