Person:880988

Available identifiers

zbMath Open faure.germainWikidataQ102421640 ScholiaQ102421640MaRDI QIDQ880988

List of research outcomes

Publication	Date of Publication	Type
Stable and accurate schemes for smoothed dissipative particle dynamics	2018-02-12	Paper
Term Collections in λ and ρ-calculi	2013-12-06	Paper
From Functional Programs to Interaction Nets via the Rewriting Calculus	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2849855	2013-09-20	Paper
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses	2011-11-22	Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers	2008-05-27	Paper
Matching Modulo Superdevelopments Application to Second-Order Matching	2008-05-27	Paper
Confluence of Pattern-Based Calculi	2008-01-02	Paper
A \(\rho\)-calculus of explicit constraint application	2007-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4808738	2004-08-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Germain Faure