Germain Faure

From MaRDI portal
Revision as of 02:28, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:880988

Available identifiers

zbMath Open faure.germainWikidataQ102421640 ScholiaQ102421640MaRDI QIDQ880988

List of research outcomes





PublicationDate of PublicationType
Stable and accurate schemes for smoothed dissipative particle dynamics2018-02-12Paper
Term Collections in λ and ρ-calculi2013-12-06Paper
From Functional Programs to Interaction Nets via the Rewriting Calculus2013-12-06Paper
https://portal.mardi4nfdi.de/entity/Q28498552013-09-20Paper
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses2011-11-22Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers2008-05-27Paper
Matching Modulo Superdevelopments Application to Second-Order Matching2008-05-27Paper
Confluence of Pattern-Based Calculi2008-01-02Paper
A \(\rho\)-calculus of explicit constraint application2007-05-21Paper
https://portal.mardi4nfdi.de/entity/Q48087382004-08-12Paper

Research outcomes over time

This page was built for person: Germain Faure

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