Germain Faure

Available identifiers

Publication	Date of Publication	Type
Stable and accurate schemes for smoothed dissipative particle dynamics	2018-02-12	Paper
From functional programs to interaction nets via the rewriting calculus	2013-12-06	Paper
Term collections in {\(\lambda\)} and {\(\rho\)}-calculi	2013-12-06	Paper
A \(\rho\)-calculus of explicit constraint application	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

This page was built for person: Germain Faure