Carsten Ihlemann
发表
Johannes Faber,
Carsten Ihlemann,
Swen Jacobs,
2010,
IFM.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Viorica Sofronie-Stokkermans,
2010,
IJCAR.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Swen Jacobs,
2008,
TACAS.
Carsten Ihlemann,
C. Ihlemann,
2011
.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Swen Jacobs,
2007,
Deduction and Decision Procedures.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
2010,
ArXiv.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Viorica Sofronie-Stokkermans,
2007,
37th International Symposium on Multiple-Valued Logic (ISMVL'07).
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Viorica Sofronie-Stokkermans,
2009,
CADE.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Werner Damm,
2011,
HSCC '11.
Carsten Ihlemann,
Viorica Sofronie-Stokkermans,
Werner Damm,
2011,
Math. Comput. Sci..