Posts by ictp

On a polylocal problem relating to differentials

Abstract AuthorsO. Aramă Institutul de Calcul Oleg Aramă (1925-2018) Keywords? Paper coordinatesO. Aramă,  Sur un probléme polylocale relatif aux différentielles. Apărută în rezumat, în volumul EQUADIFF II, Bratislava, 1-7 sept.…

Algebraic treatment of formalized languages

Abstract AuthorsT. Rus, Institutul de Calcul Teodor Rus Keywords? Paper coordinatesT. Rus, Algebraic treatment of formalized languages.(Romanian) Stud. Cerc. Mat. 19 1967 259–272. PDFhttps://ictp.acad.ro/wp-content/uploads/2026/10/1967-Rus-SCM-Bucuresti-Tratarea-algebrica-a-limbajelor-formalizate.pdf About this paperJournalStudii si Cercetari Matematice Publisher NamePublishing House of…

The algebra of formalized languages

Abstract AuthorsT. Rus, Institutul de Calcul Teodor Rus Keywords? Paper coordinatesT. Rus, The algebra of formalized languages. (Romanian) Stud. Cerc. Mat. 19 1967 1309–1324. PDFhttps://ictp.acad.ro/wp-content/uploads/2026/10/1967-Rus-SCM-Bucuresti-Algebra-limbajelor-formalizate.pdf About this paperJournalStudii si Cercetari Matematice Publisher NamePublishing House of…

Logical analysis of algorithms. II.

Abstract AuthorsE. Munteanu Institutul de Calcul Keywords? Paper coordinatesE. Munteanu, Logical analysis of algorithms. II. (Romanian) Stud. Cerc. Mat. 19 1967 415–422 PDFhttps://ictp.acad.ro/wp-content/uploads/2026/10/1967-Munteanu-E-SCM-Bucuresti-Analiza-logica-a-algoritmilor-II.pdf About this paperJournalStudii si Cercetari Matematice Publisher NamePublishing House of the Academy…

The SERU operating system of the DACICC-200 computer

Abstract AuthorsE. Munteanu Institutul de Calcul Keywords? Paper coordinatesE. Munteanu, Sistemul de operare SERU al calculatorului DACICC-200, Lucrările colectivului internațional de aplicații ale calculatoarelor, 1967. PDF?? About this paperJournalPublisher NameDOIPrint ISSNOnline…

Logical analysis of algorithms (I)

Abstract AuthorsE. Munteanu Institutul de Calcul Keywords? Paper coordinatesE. Munteanu, Analyse logique des algoritmes (I), Mathematica, 9 (32), 1967, no. 1, pp. 111-128. PDFhttps://ictp.acad.ro/wp-content/uploads/2025/11/1967-Munteanu-Analyse-logique.pdf About this paperJournalMathematica Cluj Publisher Namepublished by…

On the compatibility of the central problem of scheduling

Abstract AuthorsV. Peteanu Institutul de Calcul Keywords? Paper coordinatesV. Peteanu, Sur la compatibilité du problème central de l’ordonnancement, (French) Mathematica (Cluj) 9 (32) 1967 141–146. PDF?? About this paperJournalMathematica Cluj Publisher Namepublished by the Romanian…

An algebra of the optimal path in networks

Abstract AuthorsV. Peteanu Institutul de Calcul Keywords? Paper coordinatesV. Peteanu, An algebra of the optimal path in networks, Mathematica (Cluj) 9 (32) 1967 335–342. PDFhttps://ictp.acad.ro/wp-content/uploads/2025/11/1967-Peteanu-An-algebra-of-the-optimal.pdf About this paperJournalMathematica Publisher Namepublished by the Romanian Academy…

On the compatibility of the central problem of ordering

Abstract AuthorsV. Peteanu Institutul de Calcul Keywords? Paper coordinatesV. Peteanu, On the compatibility of the central problem of ordering, (Romanian) Stud. Cerc. Mat. 19 1967 47–52. PDFhttps://ictp.acad.ro/wp-content/uploads/2025/11/1967-Peteanu-Sur-la-compatibilite.pdf About this paperJournalStudii si Cercetari Matematice Publisher NamePublishing…