SUR LES SYSTEMES DE DEFINITIONS RECURSIVES PAR CAS: APPLICATION A LA SEMANTIQUE DENOTATIONNELLE = ON SYSTEMS OF DEFINITIONS RECURSIVE BY CASE: APPLICATION TO DENOTATIONAL SEMANTICSLAVANDIER FRANCOIS.1982; ; FRA; DA. 1982; 89 P.; 30 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./BORDEAUX 1/1982/1737Thesis

A new category for semanticsSCOTT, Dana S.Lecture notes in computer science. 2001, pp 1-2, issn 0302-9743, isbn 3-540-42496-2Conference Paper

IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article

THE DENOTATIONAL SEMANTICS OF SEQUENTIAL MACHINESGORDON MJC.1980; INFORM. PROCESSG LETTERS; NLD; DA. 1980; VOL. 10; NO 1; PP. 1-3; BIBL. 2 REF.Article

LEAST FIXED POINTS AND THE RECURSION THEOREM.VAN EMDE BOAS P.1976; STICHTG MATH. CENTRUM, AFD. ZUEWERE WISKDE; NEDERL.; DA. 1976; NO 78; PP. 1-10; BIBL. 11 REF.Serial Issue

A generalized forall concept for parallel languagesDECHERING, P. F. G; BREEBAART, L. C; KUIJLMAN, F et al.Lecture notes in computer science. 1997, pp 605-607, issn 0302-9743, isbn 3-540-63091-0Conference Paper

On infinite computations in denotational semanticsDE BAKKER, J. W; MEYER, J. J. C; ZUCKER, J. I et al.Theoretical computer science. 1983, Vol 29, Num 1-2, pp 229-230, issn 0304-3975Article

Welche Kältemittel in der Zukunft? = Which refrigerant in the future?DOÊRING, R.Die Kälte und Klimatechnik. 1990, Vol 43, Num 9, pp 472-482, issn 0343-2246, 6 p.Article

On infinite computations in denotational semanticsDE BAKKER, J. W; MEYER, J.-J. C; ZUCKER, J. I et al.Theoretical computer science. 1983, Vol 26, Num 1-2, pp 53-82, issn 0304-3975Article

A DENOTATIONAL FRAMEWORK FOR DATA FLOW ANALYSISNIELSON F.1983; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1983; VOL. 18; NO 3; PP. 265-287; BIBL. 15 REF.Article

DOMAINS FOR DENOTATIONAL SEMANTICSSCOTT DS.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 577-613; BIBL. 3 P.Conference Paper

EXPERIENCE WITH AN EXPERIMENTAL COMPILER GENERATOR BASED ON DENOTATIONAL SEMANTICSBODWIN J; BRADLEY L; KANDA K et al.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 6; PP. 216-229; BIBL. 2 P.Conference Paper

IN-SCOTT-STARCHY STYLE DENOTATIONAL SEMANTICS, PARALLELISM IMPLIES NONDETERMINISMBENSON DB.1982; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1982; VOL. 15; NO 3; PP. 265-275; BIBL. 16 REF.Article

A POWERDOMAIN FOR COUNTABLE NON-DETERMINISMPLOTKIN GD.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 418-428; BIBL. 16 REF.Conference Paper

CONSISTENT SEMANTICS FOR A DATA FLOW LANGUAGEBROCK JD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 168-180; BIBL. 13 REF.Conference Paper

EXPERIMENTS IN BLOCK-STRUCTURED GOTO LANGUAGE MODELING EXITS VERSUS CONTINUATIONSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 216-247; BIBL. 21 REF.Conference Paper

MODELS OF PROGRAMMING LANGUAGE CONCEPTSJONES CB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 100-143; BIBL. 2 P.Conference Paper

A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper

Th17 cytokines and mucosal immunityDUBIN, Patricia J; KOLLS, Jay K.Immunological reviews. 2008, Vol 226, pp 160-171, issn 0105-2896, 12 p.Article

IL-22, but Not IL-17, Dominant Environment in Cutaneous T-cell LymphomaMIYAGAKI, Tomomitsu; SUGAYA, Makoto; SUGA, Hiraku et al.Clinical cancer research (Print). 2011, Vol 17, Num 24, pp 7529-7538, issn 1078-0432, 10 p.Article

Installation avec évaporateur à air et condenseur à air = Refrigerating unit with an air evaporator and an air condenserJACQUARD, P.Revue pratique du froid et du conditionnement d'air. 1998, Num 862, pp 49-50, issn 0370-6699Article

Verwendung von KLEA 407A bei überfluteter Verdampfung = Using KLEA 407A with flooding evaporationLOW, B; TAYLOR, A.Die Kälte und Klimatechnik. 1996, Vol 49, Num 8, pp 528-531, issn 0343-2246, 3 p.Article

Austauschstoffe für R22: ein Überblick = Substitutes for R22: an overviewSCHWENNESEN, K.Die Kälte und Klimatechnik. 1994, Vol 47, Num 2, pp 59-62, issn 0343-2246, 3 p.Article

Do we understand the 22-year solar activity cycle ?PATERNO, L.Comptes rendus de l'Académie des sciences. Série IIb, mécanique, physique, astronomie. 1998, Vol 326, Num 6, pp 393-405, issn 1287-4620Article

Options techniques des constructeurs pour l'après-R 22 = Technical options for manufacturers about R 22 substituteMALEK, A; GOTH, Y.Revue pratique du froid et du conditionnement d'air. 1996, Num 833BIS, pp 49-53, issn 0370-6699Article