Automatic white-box testing of first-order logic ontologies
- 期刊名称Journal of Logic and Computation
- 作者Álvez, Javier; Hermo, Montserrat; Lucio, Paqui; Rigau, German
- 卷第29卷
- 期第5期
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小425.88KB
- 发表时间2019-09-12
- DOI10.1093/logcom/exz001
- 页码723-751
Laser-assisted nuclear photoeffectDadi, Anis; Müller, Carsten · Physical Review C · 2012
Shocks in quark-gluon plasmasShuryak, Edward · Physical Review C · 2012
baryonArndt, R. A.; Azimov, Ya. I.; Polyakov, M. V.; Strakovsky, I. I.; Workman, R. L. · Physical Review C · 2004
Island of inversion aroundLenzi, S. M.; Nowacki, F.; Poves, A.; Sieja, K. · Physical Review C · 2010
Quantum field kineticsMakhlin, A. · Physical Review C · 1995
CGoldberg, V. Z.; Rogachev, G. V. · Physical Review C · 2012
enhancementKolomeitsev, E. E.; Tomášik, B.; Voskresensky, D. N. · Physical Review C · 2012
, andEliseev, S.; Nesterenko, D.; Blaum, K.; Block, M.; Droese, C.; Herfurth, F.; Minaya Ramirez, E.; Novikov, Yu. N.; Schweikhard, L.; Zuber, K. · Physical Review C · 2011