Julien Forest

From MaRDI portal
Person:2467564

Available identifiers

zbMath Open forest.julienMaRDI QIDQ2467564

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q53890682012-04-24Paper
Structural Analysis of Narratives with the Coq Proof Assistant2011-08-17Paper
Certifying a Termination Criterion Based on Graphs, without Graphs2008-12-04Paper
Certification of Automated Termination Proofs2008-09-16Paper
Expression reduction systems with patterns2008-01-22Paper
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48087462004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44472262004-02-16Paper

Research outcomes over time

This page was built for person: Julien Forest

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