|
volum de carte |
1987 |
Teoria algoritmilor. Recursivitate, Complexitate și Constructivitate, , anul 1987 |
CALUDE, Cristian (autor) |
|
|
|
|
| |
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 |
|
