C. Şerban

From MaRDI portal
Person:1990510

Available identifiers

zbMath Open serban.cristinaMaRDI QIDQ1990510

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58798902023-03-06Paper
https://portal.mardi4nfdi.de/entity/Q50658412022-03-22Paper
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic2019-07-04Paper
A decision procedure for separation logic in SMT2018-10-25Paper
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic2017-02-21Paper
Han-type algorithms for inconsistent systems of linear inequalities -- a unified approach2016-06-17Paper
Modified Han algorithm for inconsistent linear inequalities2016-03-17Paper
https://portal.mardi4nfdi.de/entity/Q29413222015-08-27Paper
https://portal.mardi4nfdi.de/entity/Q31122062012-01-13Paper
https://portal.mardi4nfdi.de/entity/Q31121662012-01-13Paper

Research outcomes over time

This page was built for person: C. Şerban

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1990510&oldid=6489486"
Powered by MediaWiki