Carlos Loría-Sáenz

From MaRDI portal

Revision as of 21:51, 27 December 2023 by Import231226041258 (talk | contribs) (Created automatically from import231226041258)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:5096312

Jump to:navigation, search

Available identifiers

zbMath Open loria-saenz.carlosMaRDI QIDQ5096312

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
Termination of combined (rewrite and λ-calculus) systems	2023-03-09	Paper
Higher order conditional rewriting and narrowing	2022-08-16	Paper

Research outcomes over time

This page was built for person: Carlos Loría-Sáenz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5096312&oldid=11539118"