Semantic characterization of rational closure: From propositional logic to description logics by Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.

Get full text

A non-monotonic Description Logic for reasoning about typicality by Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.

Get full text

Nested sequent calculi for normal conditional logics by Alenda, Régis, Olivetti, Nicola, G.L., Pozzato

Get full text

Search for magnetic monopoles with the MoEDAL prototype trapping detector in 8 TeV proton-proton collisions at the LHC by Acharya, B., Alexandre, J., Bendtz, K., Benes, P., Bernabéu, J., Campbell, M., Cecchini, S., Chwastowski, J., Chatterjee, A., de Montigny, M., Derendarz, D., De Roeck, A., Ellis, J. R., Fairbairn, M., Felea, D., Frank, M., Frekers, D., Garcia, C., Giacomelli, G., Hasegan, D., Kalliokoski, M., Katre, A., Kim, D.-W., King, M. G. L., Kinoshita, K., Lacarrère, D.H., Lee, S. C., Leroy, C., Lionti, A., Margiotta, A., Mauri, N., Mavromatos, N. E., Mermod, P., Milstead, D., Mitsou, V. A., Orava, R., Parker, B., Pasqualini, L., Patrizii, L., Păvălas, G. E., Pinfold, J. L., Platkevič, M., Popa, V., Pozzato, M., Pospisil, S., Rajantie, A., Sahnoun, Z., Sakellariadou, M., Sarkar, S., Semenoff, G., Sirri, G., Sliwa, K., Soluk, R., Spurio, M., Srivastava, Y. N., Staszewski, R., Suk, M., Swain, J., Tenti, M., Togo, V., Trzebinski, M., Tuszynski, J. A., Vento, V., Vives, O., Vykydal, Z., Whyntie, T., Widom, A., Willems, G., Yoon, J. H.

Get full text

Comparison of different chromatographic quality-control procedures to determine the radiochemical purity of common 99mTc-diagnostic agents by Zucchini, G.L., Marinelli, M., Pozzato, R., Garuti, P.

Get full text