givenbefore < gives < giving

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 110.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
000C79 (2013)	Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni]	Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
000D67 (1984)	Claude Kirchner [France, États-Unis]	A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm
000D87 (2000)	Miki Hermann [France] ; Phokion G. Kolaitis	Unification Algorithms Cannot Be Combined in Polynomial Time
000F73 (1986)	Guy Viry [France]	Polynomial factorization over ℤ[X]
000F86 (1994)	A. Belaid [France] ; J. C. Anigbogu [États-Unis, France]	Mise à contribution de plusieurs classifieurs pour la reconnaissance de textes multifontes
000F89 (1998)	M. Strecker ; M. Luther ; F. Von Henke	Interactive and Automated Proof Construction in Type Theory
001204 (1992)	Bruno Courcelle [France]	Monadic second-order definable graph transductions
001256 (1993)	Wen Mei W. Hwu [États-Unis] ; Scott A. Mahlke [États-Unis] ; William Y. Chen [États-Unis] ; Pohua P. Chang [États-Unis] ; Nancy J. Warter [États-Unis] ; Roger A. Bringmann [États-Unis] ; Roland G. Ouellette [États-Unis] ; Richard E. Hank [États-Unis] ; Tokuzo Kiyohara [États-Unis] ; Grant E. Haab [États-Unis] ; John G. Holm [États-Unis] ; Daniel M. Lavery [États-Unis]	The superblock: An effective technique for VLIW and superscalar compilation
001335 (1996)	P. Feinsilver ; J. Mcsorley ; R. Schott [France]	Combinatorial Interpretation and Operator Calculus of Lommel Polynomials
001346 (1992)	Isabelle Gnaedig [France]	Termination of order-sorted rewriting
001370 (2011)	Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France]	Refinement-Based Verification of Local Synchronization Algorithms
001518 (2006)	Pierre Le Mauff [France] ; Pierre Pottier [France] ; Lionel Goronflot [France] ; Jacques Barrier [France]	Evaluation d’un dispositif expérimental d’évaluation certificativedes étudiants en fin de troisième cycle de médecine générale
001541 (1986)	Riccardo Petrella	European futures in science and technology
001553 (2009)	Mathieu Hoyrup [France] ; Crist Bal Rojas [France]	An Application of Martin-Löf Randomness to Effective Probability Theory
001559 (1997)	Thomas Genet [France] ; Isabelle Gnaedig [France]	Termination proofs using gpo ordering constraints
001577 (2011)	Svetlana Poznanovi [États-Unis]	A Bijection Between Partially Directed Paths in the SymmetricWedge and Matchings
001619 (1997)	Sophie Malecki [France]	Proofs in system F ω can be done in system F ω1
001647 (2004)	Eelco Visser [Pays-Bas]	Program Transformation with Stratego/XT
001688 (2010)	Zainab Assaghir [France] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France] ; Henri Prade [France]	Managing Information Fusion with Formal Concept Analysis
001795 (1975)	C. Monot [France] ; Y. Najean [France] ; C. Dresch [France] ; J. Martin [France]	Models of erythropoiesis and clinical diagnosis
001843 (1993)	Peter D. Mosses [Danemark]	The use of sorts in algebraic specifications

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "gives" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "gives" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    gives
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022