Maria C. F. Ferreira

From MaRDI portal
Revision as of 13:31, 13 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Maria C. F. Ferreira to Maria C. F. Ferreira: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
λ-calculi with explicit substitutions and composition which preserve β-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