关注
Cristian Masalagiu
Cristian Masalagiu
Professor of Computer Science, University "Al. I. Cuza", Iasi, Romania
在 info.uaic.ro 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
About the Collatz conjecture
Ş Andrei, C Masalagiu
Acta Informatica 35 (2), 167-179, 1998
681998
Didactica predării informaticii
CD Masalagiu, I Asiminoaei, MA Țibu
Elefant Online, 2016
212016
Conditional Petri net languages
FL Tiplea, T Jucan, C Masalagiu
Journal of Information Processing and Cybernetics 27 (1), 55-66, 1991
121991
A rigorous methodology for specification and verification of business processes
C Masalagiu, WN Chin, Ş Andrei, V Alaiba
Formal Aspects of Computing 21, 495-510, 2009
112009
Metodica predării informaticii
CD Masalagiu, I Asiminoaei, I Maxim
Matrix Rom, 2001
62001
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
Practica programării în TURBO PROLOG
CD Masalagiu, L Ibănescu, Ş Andrei
Editura Universităţii" Alexandru Ioan Cuza", 1998
41998
Fundamentele logice ale informaticii
CD Masalagiu
Editura Universităţii" Alexandru Ioan Cuza, 2004
32004
The resolution principle: complexity estimations for the class of propositional calculus formulae
Ş Andrei, M Kudlek, C Masalagiu
Bibliothek des Fachbereichs Informatik, Univ., 2001
32001
Duality in Resolution
C Masalagiu, Ş Andrei
Analele Universit a _ t ii Bu-cure şti, Informatic a 49, 97-112, 2000
32000
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
Characterizing regularity of languages by data protection systems
C Masalagiu
Annales de l'Université, Iaşi 28 (2), 1982
11982
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
系统目前无法执行此操作,请稍后再试。
文章 1–20