A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses von Armand, Michael, Faure, Germain, Grégoire, Benjamin, Keller, Chantal, Théry, Laurent, Werner, Benjamin

Volltext

Matching Modulo Superdevelopments Application to Second-Order Matching von Faure, Germain

Volltext

A ρ-calculus of explicit constraint application von CIRSTEA, Horatiu, FAURE, Germain, KIRCHNER, Claude

Volltext

Term Collections in λ and ρ-calculi von Faure, Germain

Volltext

Confluence of Pattern-Based Calculi von Cirstea, Horatiu, Faure, Germain

Volltext

Exceptions in the Rewriting Calculus von Faure, Germain, Kirchner, Claude

Volltext

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers von Faure, Germain, Nieuwenhuis, Robert, Oliveras, Albert, Rodríguez-Carbonell, Enric

Volltext

A ρ-Calculus of Explicit Constraint Application von Cirstea, Horatiu, Faure, Germain, Kirchner, Claude

Volltext

From Functional Programs to Interaction Nets via the Rewriting Calculus von Cirstea, Horatiu, Faure, Germain, Fernández, Maribel, Mackie, Ian, Sinot, François-Régis

Volltext

Appareil récupérateur des calories des gaz brûlés avant leur évacuation dans l'atmosphère von FAURE GERMAIN-JEAN

Volltext bestellen

Appareil pour l'extraction et l'épandage de la tourbe par voie humide von FAURE GERMAIN-JEAN

Volltext bestellen

Appareil de dissolution à chaud pour matières peu solubles, avec ou sans pression von FAURE GERMAIN, VANNOT LOUIS

Volltext bestellen

Transmission électro-mécanique auto-régulatrice à vitesses variables pour moteurs diesel von BOUTILLIER FELIX, FAURE GERMAIN JEAN

Volltext bestellen

Procédé pour la fabrication d'un amendement organo-chimique destiné à la régénération des terres arables trop minéralisées von SOLIGNAC ANDRE-JEAN-AUGUSTE, FAURE GERMAIN-JEAN

Volltext bestellen

Dynode with adjustable secondary emission and devices using such a dynode von CLAUDE BOIZIAU, CLAUDE FAURE, GEORGES GERMAIN, CLAUDE LE GRESSUS ET JEAN-PIERRE VIGOUROUX

Volltext bestellen

Electron multiplying device with stabilised gain von CLAUDE BOIZIAU, CLAUDE FAURE, GEORGES GERMAIN, CLAUDE LE GRESSUS ET JEAN-PIERRE VIGOUROUX

Volltext bestellen

On-line 2D-RPLC x RPLC – HRMS to assess wastewater treatment in a pharmaceutical plant von Saint Germain, Fleur Marie, Faure, Karine, Saunier, Estelle, Lerestif, Jean-Michel, Heinisch, Sabine

Volltext

Diagnostic work-up and phenotypic characteristics of a family with variable severity of distal arthrogryposis type 2B (Sheldon-Hall syndrome) and TNNT3 pathogenic variant von Dabaj, Ivana, Carlier, Robert Y, Dieterich, Klaus, Desguerre, Isabelle, Faure, Julien, Romero, Norma B, Trang, Wenting, Quijano-Roy, Susana, Germain, Dominique P

Volltext

ERM proteins regulate cytoskeleton relaxation promoting T cell-APC conjugation von Delon, Jérôme, Tybulewicz, Victor L J, Trautmann, Alain, Bismuth, Georges, Germain, Ronald N, Faure, Sophie, Semichon, Monique, Salazar-Fontana, Laura Inés

Volltext

DYNODE A EMISSION SECONDAIRE REGLABLE ET DISPOSITIFS UTILISANT UNE TELLE DYNODE von CLAUDE BOIZIAU, CLAUDE FAURE, GEORGES GERMAIN, CLAUDE LE GRESSUS ET JEAN-PIERRE VIGOUROUX

Volltext bestellen