Criterii căutate


Sumarul căutării

  • 35 de articole
Tip Anul Publicație și Volum/Nr. Realizatori Titlul articolui Secțiunea Pagina Limba
articol de periodic 1976 Revue Roumaine de Mathematiques Pures et Appliquees, xxi-3 CALUDE, Cristian (autor) Une axiomatisation de la logique deontique a une infinite de valeurs 267-273
articol de periodic 1977 Revue Roumaine de Mathematiques Pures et Appliquees, xxii-4 CALUDE, Cristian (autor) On compatibility between the analytic and the generative hierarchies of formal languages 437-439
articol de periodic 1978 Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5 CALUDE, Cristian (autor) Rekersive Funkionen in der Komoutertheorie - Rozsa Peter 829-830
articol de periodic 1978 Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5 CALUDE, Cristian (autor) Cours de logique mathematique . Tome 3 - Frais Roland 830-830
articol de periodic 1978 Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5 CALUDE, Cristian (autor) Exercices in Set Theory - Sigler L.E. 830-830
articol de periodic 1980 Revue Roumaine de Mathematiques Pures et Appliquees, xxv-1 CALUDE, Cristian (autor) Multiple-conclusion Logic - Schosmith D.J., Smiley T.J. 122-122
articol de periodic 1980 Revue Roumaine de Mathematiques Pures et Appliquees, xxv-1 CALUDE, Cristian (autor) Use of Mathematical Literature - Dorling A.R. 123-123
articol de periodic 1980 Revue Roumaine de Mathematiques Pures et Appliquees, xxv-10 CALUDE, Cristian (autor) Basic Set Theory - Levy Azriel 1563-1563
articol de periodic 1980 Revue Roumaine de Mathematiques Pures et Appliquees, xxv-10 CALUDE, Cristian (autor) Recursion-Thoretic Hierachies - Hinman Peter 1563-1563
articol de periodic 1981 Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-2 CALUDE, Cristian (autor) Introduction to College Mathematics with a Programming Lanfuage - Cuyer E.J. 348-348
articol de periodic 1981 Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5 CALUDE, Cristian (autor) A Formal Background to Mathematics- Edwards R.E. 809-809
articol de periodic 1981 Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5 CALUDE, Cristian (autor) An Introduction to the General Theory of Algoritms - Machtey M., Young P. 809-810
articol de periodic 1981 Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5 CALUDE, Cristian (autor) Mathematical Models for the Grouth of Human Populations 810-810
articol de periodic 1981 Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-9 CALUDE, Cristian (autor) Darboux property and primitive recursive functions 1187-1192
articol de periodic 1982 Revue Roumaine de Mathematiques Pures et Appliquees, xxvii-9 CALUDE, Cristian (autor) Note on a hierarchy of primitive recursive functions 935-936
articol de periodic 1983 Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-1 CALUDE, Cristian (autor) Model Theory of Algebra and Aritmetic - Pacholki L., Wierzejewski J., Willie A.J. 93-93
articol de periodic 1983 Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-3 CALUDE, Cristian (autor) Information Representation and Manipulation in a Computer - Page E.S., Wilson L. 252-252
articol de periodic 1983 Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-5 CALUDE, Cristian (autor) , TĂTĂRÎM, Monica (autor) Iniversal sequences of primitive recursive functions 381-389
articol de periodic 1984 Revue Roumaine de Mathematiques Pures et Appliquees, xxix-6 CALUDE, Cristian (autor) Recursive Functions in Computer theory - Peter Rosza 511-511
articol de periodic 1985 Revue Roumaine de Mathematiques Pures et Appliquees, xxx-8 CALUDE, Cristian (autor) Mathematical Logic - Ebbinghaus H.D., Flum J., Thomas W. 701-701
articol de periodic 1985 Revue Roumaine de Mathematiques Pures et Appliquees, xxx-9 CALUDE, Cristian (autor) , CHIȚESCU, Ion (autor) , STAICER, Lidwig (autor) P. Martin-Lof test: representability and embeddability 719-732
articol de periodic 1987 Revue Roumaine de Mathematiques Pures et Appliquees, xxxii-7 CALUDE, Cristian (autor) Foundations of Constructive Mathematics - Beeson Michael 677-677
articol de periodic 1988 Revue Roumaine de Mathematiques Pures et Appliquees, xxxiii-6 CALUDE, Cristian (autor) Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets - Soare Robert 547-548
articol de periodic 1990 Revue Roumaine de Mathematiques Pures et Appliquees, xxxv-6 CALUDE, Cristian (autor) Computality Complexity, Logic - Borger E. 578-578
articol de periodic 1990 Revue Roumaine de Mathematiques Pures et Appliquees, xxxv-7 CALUDE, Cristian (autor) , KURTA, Eva (autor) On Kraft-Chaitin inequality 597-604
articol de periodic 1992 Revue Roumaine de Mathematiques Pures et Appliquees, xxxvii-1 CALUDE, Cristian (autor) Handbook of Theoretical Computer Science . Vol. A. - van Leeuwen J. 91-92
articol de periodic 1992 Revue Roumaine de Mathematiques Pures et Appliquees, xxxvii-1 CALUDE, Cristian (autor) Proff Theory and Logical Complexity - Girard Jean-Yves 92-92
articol de periodic 1992 Revue Roumaine de Mathematiques Pures et Appliquees, xxxvii-1 CALUDE, Cristian (autor) Brouwer's Intuitioism - van Stigt Walter 92-93
articol de periodic 1992 Revue Roumaine de Mathematiques Pures et Appliquees, xxxvii-3 CALUDE, Cristian (autor) Open Problems in Topology - van Mill J., Reed G.M. 284-285
articol de periodic 1976 Studii și Cercetări Matematice, 28-1 CALUDE, Cristian (autor) Asupra distanțelor contextuale din lingvistica matematică 31-35
articol de periodic 1977 Studii și Cercetări Matematice, 29-2 CALUDE, Cristian (autor) Din gîndirea matematică românească - Marcus Solomon 201-203
articol de periodic 1978 Studii și Cercetări Matematice, 30-3 CALUDE, Cristian (autor) Metode categoriale în studiul calculabilității (I): Funcții recursive, neprimitiv recursive 253-277
articol de periodic 1978 Studii și Cercetări Matematice, 30-4 CALUDE, Cristian (autor) Metode categoriale în studiul calculabilității (II) 261-383
articol de periodic 1982 Studii și Cercetări Matematice, 34-2 ANDRAȘIU, Mircea (autor) , CALUDE, Cristian (autor) Posibilități de agregare a deciziilor multimensionale 87-103
articol de periodic 1982 Studii și Cercetări Matematice, 34-3 CALUDE, Cristian (autor) , CALUDE, Elena (autor) O metodă metrică de ierarhizare a deciziilor multidimensionale 223-234