Cristian Masalagiu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards a unified theorem of soundness and completeness for resolution in different 2-valued logics	2015-12-14	Paper
scientific article; zbMATH DE number 6117305 (Why is no real title available?)	2012-12-19	Paper
A rigorous methodology for specification and verification of business processes Formal Aspects of Computing	2009-11-13	Paper
On the complexity of propositional calculus formulae	2008-04-14	Paper
About the Collatz conjecture Acta Informatica	1998-08-10	Paper
scientific article; zbMATH DE number 846968 (Why is no real title available?)	1996-02-25	Paper
scientific article; zbMATH DE number 14491 (Why is no real title available?)	1992-06-25	Paper
scientific article; zbMATH DE number 14490 (Why is no real title available?)	1992-06-25	Paper
scientific article; zbMATH DE number 4201657 (Why is no real title available?)	1991-01-01	Paper
scientific article; zbMATH DE number 4128369 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4128408 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4162276 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4009860 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3827236 (Why is no real title available?)	1983-01-01	Paper
Nivat's processing systems: decision problems related to protection and synchronization Theoretical Computer Science	1983-01-01	Paper
scientific article; zbMATH DE number 3888932 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3738925 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Cristian Masalagiu