The Miniscrew, a new screw compressor concept for the lower capacity range. ILUNDBERG, A.RAC. Refrigeration, air conditioning and heat recovery. 1984, Vol 87, Num 1033, pp 52-55, issn 0263-5739Article

Why was David disqualified as temple builder ? The meaning of 1 Chronicles 22.8DIRKSEN, P. B.Journal for the study of the Old Testament. 1996, Num 70, pp 51-56, issn 0309-0892Article

Luftgekühlte Verflüssiger für R22-Kälteanlagen: Bauarten, Planung, Betriebsverhalten, Regelung = Air-cooled condenser for refrigeration installation using R22: construction, planning, operation behavior, controlBRAUN, A.Die Kälte und Klimatechnik. 1990, Vol 43, Num 3, pp 124-134, issn 0343-2246, 7 p.Article

Synchronous programming: Properties within a reactionANDRE, Charles; DE SIMONE, Robert.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, pp 891-903, issn 1269-6935, 13 p.Conference Paper

Constructible falsity and inexact predicatesAHMAD ALMUKDAD; NELSON, D.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 231-233, issn 0022-4812Article

A translation characterizing the constructive content of classical theoriesBAAZ, Matthias; FERMÜLLER, Christian G.Lecture notes in computer science. 2003, pp 107-121, issn 0302-9743, isbn 3-540-20101-7, 15 p.Conference Paper

A Kolmogorov complexity characterization of constructive Hausdorff dimensionMAYORDOMO, Elvira.Information processing letters. 2002, Vol 84, Num 1, pp 1-3, issn 0020-0190Article

Markov's principle for propositional type theoryKOPYLOV, Alexei; NOGIN, Aleksey.Lecture notes in computer science. 2001, pp 570-584, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Méthodes pour la théorie constructive des champs renormalisables asympotiquement libres = Methods for the constructive theory of asymptoticaly face renormalizable fieldsFELDMAN, J; MAGNEN, J; RIVASSEAU, V et al.Publication de l'Institut de recherche mathématique avancée. R.C.P. 25. 1984, Vol 34, pp 67-89, issn 0755-3390Article

Weak compactness in constructive spacesVERMEULEN, J. J. C.Mathematical proceedings of the Cambridge Philosophical Society. 1992, Vol 111, Num 1, pp 63-74, issn 0305-0041Article

A genuinely intensional set theoryGOODMAN, N. D.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 63-79, issn 0049-237XArticle

Instanton calculus with Majorana fermionsMEURICE, Y.Physics letters. Section B. 1985, Vol 164, Num 1-2-3, pp 141-144, issn 0370-2693Article

Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchyGIRARD, J.-Y; VAUZEILLES, J.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1079-1114, issn 0022-4812Article

CONSTRUCTIVE APPROACH TO SUPERGRAVITYMILTON KA; URRUTIA LF; FINKELSTEIN RJ et al.1980; GEN. RELATIV. GRAVITAT.; GBR; DA. 1980; VOL. 12; NO 1; PP. 67-81; BIBL. 10 REF.Article

Die spätantike/koptische Klosteranlage Deir el-Bachit in Dra' Abu el-Naga (Oberägypten): Erster VorberichtBURKARD, Günter; MACKENSEN, Michael; POLZ, Daniel et al.Mitteilungen des Deutschen Archäologischen Instituts. Abteilung Kairo. 2003, Vol 59, pp 41-65, issn 0342-1279, 25 p.Article

Intensional set theoryMYHILL, J.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 47-61, issn 0049-237XArticle

Legitimation und Herrschaft in der Libyerzeit = Legitimization and Rulership during the Libyan Period = Légitimation et souveraineté à l'époque libyenneLANGE, Eva.Zeitschrift für ägyptische Sprache und Altertumskunde. 2008, Vol 135, Num 2, pp 131-141, issn 0044-216X, 11 p.Article

CONSTRUCTIVE AND RECURSIVE SCATTERED ORDER TYPESWATNICK R.1981; LECT. NOTES. MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 312-326; BIBL. 7 REF.Article

Constructive Empiricism and the Vices of VoluntarismDICKEN, Paul.International journal of philosophical studies. 2009, Vol 17, Num 2, pp 189-201, issn 0967-2559, 13 p.Article

CONSTRUCTIVE CATEGORY THEORYKANDA A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 563-577; BIBL. 9 REF.Conference Paper

El sistema Bp₊ : Una lôgica positiva mínima para la negación minima = (The system B_p+ : A minimal positive logic for minimal negation) = Le systeme Bp+ : une logique positive minimale pour une négation minimaleMENDEZ, José M; SALTO, Francisco; ROBLES, Gemma et al.Theoria (Madrid). 2007, Vol 22, Num 58, pp 81-91, issn 0495-4548, 11 p.Article

The natural order-generic collapse for ω-representable databases over the rational and the real ordered groupSCHWEIKARDT, Nicole.Lecture notes in computer science. 2001, pp 130-144, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Some results on intermediate constructive logicsMIGLIOLI, P; MOSCATO, U; ORNAGHI, M et al.Notre Dame journal of formal logic. 1989, Vol 30, Num 4, pp 543-562, issn 0029-4527Article

Constructively characterizing fold and unfoldWEBER, Tjark; CALDWELL, James.Lecture notes in computer science. 2004, pp 110-127, issn 0302-9743, isbn 3-540-22174-3, 18 p.Conference Paper

A transfer theorem in constructive p-adic algebraHASKELL, D.Annals of pure and applied logic. 1992, Vol 58, Num 1, pp 29-55, issn 0168-0072Article