Introducing global constraints in CHIP von Beldiceanu, N, Contejean, E

Volltext

A Coq Formalisation of SQL's Execution Engines von Benzaken, V., Contejean, É., Keller, Ch, Martins, E.

Volltext

An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations von Contejean, E., Devie, H.

Volltext

A Certified AC Matching Algorithm von Contejean, Evelyne

Volltext

Reflecting Proofs in First-Order Logic with Equality von Contejean, Evelyne, Corbineau, Pierre

Volltext

About the confluence of equational pattern rewrite systems von Boudet, Alexandre, Contejean, Evelyne

Volltext

On n-syntactic equational theories von Boudet, Alexandre, Contejean, Evelyne

Volltext

Avoiding slack variables in the solving of linear diophantine equations and inequations von Ajili, Farid, Contejean, Evelyne

Volltext

AC-unification of higher-order patterns von Boudet, Alexandre, Contejean, Evelyne

Volltext

Rewriting Techniques in Theoretical Physics von Contejean, Evelyne, Coste, Antoine, Monate, Benjamin

Volltext

Solving -problems modulo Distributivity by a Reduction to AC1-unification von Contejean, Evelyne

Volltext

CiME: Completion modulo E von Contejean, Evelyne, Marché, Claude

Volltext

Rewrite systems for natural, integral, and rational arithmetic von Contejean, Evelyne, Marché, Claude, Rabehasaina, Landy

Volltext

AC-complete unification and its application to theorem proving von Boudet, Alexandre, Contejean, Evelyne, Marché, Claude

Volltext

A new AC unification algorithm with an algorithm for solving systems of diophantine equations von Boudet, A., Contejean, E., Devie, H.

Volltext bestellen

Résolution de systèmes linéaires d'équations diophantiennes von CONTEJEAN, E, DEVIE, H

Volltext

Brentuximab vedotin in refractory or relapsed peripheral T-cell lymphomas: the French named patient program experience in 56 patients von Lamarque, Mathilde, Bossard, Céline, Contejean, Adrien, Brice, Pauline, Parrens, Marie, Le Gouill, Steven, Brière, Josette, Bouabdallah, Reda, Canioni, Danielle, Tilly, Hervé, Bouchindhomme, Brigitte, Bachy, Emmanuel, Delarue, Richard, Haioun, Corinne, Gaulard, Philippe

Volltext

A meropenem pharmacokinetics model in patients with haematological malignancies von Contejean, A, Jaffrelot, L, Benaboud, S, Tréluyer, J-M, Grignano, E, Willems, L, Gauzit, R, Bouscary, D, Gana, I, Boujaafar, S, Kernéis, S, Hirt, D

Volltext

Epidemiology, clinical picture and long‐term outcomes of FIP1L1‐PDGFRA‐positive myeloid neoplasm with eosinophilia: Data from 151 patients von Rohmer, Julien, Couteau‐Chardon, Amélie, Trichereau, Julie, Panel, Kewin, Gesquiere, Cyrielle, Ben Abdelali, Raouf, Bidet, Audrey, Bladé, Jean‐Sébastien, Cayuela, Jean‐Michel, Cony‐Makhoul, Pascale, Cottin, Vincent, Delabesse, Eric, Ebbo, Mikaël, Fain, Olivier, Flandrin, Pascale, Galicier, Lionel, Godon, Catherine, Grardel, Nathalie, Guffroy, Aurélien, Hamidou, Mohamed, Hunault, Mathilde, Lengline, Etienne, Lhomme, Faustine, Lhermitte, Ludovic, Machelart, Irène, Mauvieux, Laurent, Mohr, Catherine, Mozicconacci, Marie‐Joelle, Naguib, Dina, Nicolini, Franck E., Rey, Jerome, Rousselot, Philippe, Tavitian, Suzanne, Terriou, Louis, Lefèvre, Guillaume, Preudhomme, Claude, Kahn, Jean‐Emmanuel, Groh, Matthieu

Volltext

Large-Scale SARS-CoV-2 Testing Utilizing Saliva and Transposition Sample Pooling von Patterson, Joseph R., Cole-Strauss, Allyson, Kuhn, Nathan, Mercier, Carlene, Kochmanski, Joseph, Gerlach, John A., LeVeque, Rhiannon M., Neugebauer, Kerri A., Conner, Kayla N., Gomez, Jasper, Hennes, Mark G., Thompson, Kaje’ne E., Rytlewski, Destinee L., Bigwood, Chloe C., Scharmen, Amy, Simjanovski, Gabriel, Riley, Cassidy, Donaldson, Jessica, Yasin, Dilann, Kouja, Najwa, Contejean, Zaria, Burnett, Michaela, Aminova, Shakhlo, Yawson, Nat Ato, Singh, Simran B., Alian, Osama M., Broeker, Carson D., Zaluzec, Erin K., ONeill, Morgan, Puschner, Birgit, Sousa, Aron, Bix, Laura, Jespersen, Brian, Holzman, Claudia, Mitchell, Jade, Julien, Ryan, Askin, Yesim, Barnes, Danielle, Durshanpalli, Purna, Krum, Doug, Weber, Rett, Patterson, Morgan, Anderson, Becky, Hunt, Ryan, O’Brien, Benjamin, Umstead, Andrew, Beck, John S., Vega, Irving E., Sortwell, Caryl E., Lipton, Jack W.

Volltext