Cristian Masalagiu
Cristian Masalagiu
Professor of Computer Science, University "Al. I. Cuza", Iasi, Romania
Bestätigte E-Mail-Adresse bei info.uaic.ro - Startseite
Titel
Zitiert von
Zitiert von
Jahr
About the Collatz conjecture
Ş Andrei, C Masalagiu
Acta Informatica 35 (2), 167-179, 1998
441998
Didactica predării informaticii
CD Masalagiu, I Asiminoaei, MA Țibu
Elefant Online, 2016
152016
A rigorous methodology for specification and verification of business processes
C Masalagiu, WN Chin, Ş Andrei, V Alaiba
Formal aspects of computing 21 (5), 495-510, 2009
112009
Conditional Petri net languages
FL Tiplea, T Jucan, C Masalagiu
Journal of Information Processing and Cybernetics 27 (1), 55-66, 1991
111991
Metodica predării informaticii
CD Masalagiu, I Asiminoaei, I Maxim
Matrix Rom, 2001
72001
Relation based controlled Petri nets
T Jucan, C Masalagiu, FL Tiplea
Sci. Ann. Cuza Univ. 2, 27-36, 1993
51993
Term rewriting systems and petri nets
F Tiplea, T Jucan, C Masalagiu
Analele Stiintifice ale Universitatii Al. I. Cuza 34 (4), 305-317, 1988
51988
The resolution principle: complexity estimations for the class of propositional calculus formulae
Ş Andrei, M Kudlek, C Masalagiu
Bibliothek des Fachbereichs Informatik, Univ., 2001
42001
Duality in Resolution
C Masalagiu, Ş Andrei
Analele Universit a _ t ii Bu-cure şti, Informatic a 49, 97-112, 2000
42000
Fundamentele logice ale informaticii
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza, 2004
32004
Practica programării în TURBO PROLOG
CD Masalagiu, L Ibănescu, Ş Andrei
Editura Universităţii" Alexandru Ioan Cuza", 1998
31998
On the Complexity of Propositional Calculus Formulae
S Andrei, G Grigoras, M Kudlek, C Masalagiu
Sci. Ann. Cuza Univ. 10, 27-44, 2001
22001
Introducere in programarea logica si limbajele de programare logica
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza", 1996
21996
Logic engineering with applications to security
CD Masalagiu, V Alaib
Proceedings of the Romanian Academy Series A-mathematics Physics Technical …, 2012
12012
Nivat's processing systems: decision problems related to protection and synchronization
S Istrail, C Masalagiu
Theoretical computer science 26 (1-2), 83-103, 1983
11983
Logica pentru Informatica Seminar
C Masalagiu, V Alaiba
2016
Programare logică: anul III, semestrul I, 2005-2006
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza", 2005
2005
Logica pentru informaticieni: anul I, semestrul I
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza", 2005
2005
Logica pentru informaticieni: anul I, semestrul I: 2004-2005
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza", 2004
2004
Logica pentru informaticieni
C Masalagiu
Editura Universităţii" Al. I. Cuza, 2004
2004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20