Amateur Observers Witness the Return of Venus’ Cloud Discontinuity von Kardasis, Emmanuel (Manos), Peralta, Javier, Maravelias, Grigoris, Imai, Masataka, Wesley, Anthony, Olivetti, Tiziano, Naryzhniy, Yaroslav, Morrone, Luigi, Gallardo, Antonio, Calapai, Giovanni, Camarena, Joaquin, Casquinha, Paulo, Kananovich, Dzmitry, MacNeill, Niall, Viladrich, Christian, Takoudi, Alexia

Volltext

Intuitionistic Non-normal Modal Logics: A General Framework von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext

SciPy 1.0: fundamental algorithms for scientific computing in Python von Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul

Volltext

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

Volltext

PTX3, a prototypical long pentraxin, is an early indicator of acute myocardial infarction in humans von PERI, G, INTRONA, M, CAS, L. D, GHEZZI, P, SIPE, J. D, RE, G, OLIVETTI, G, MANTOVANI, A, LATINI, R, CORRADI, D, IACUITTI, G, SIGNORINI, S, AVANZINI, F, PIZZETTI, F, MAGGIONI, A. P, MOCCETTI, T, METRA, M

Volltext

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext

Terminating Calculi and Countermodels for Constructive Modal Logics von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) von Dalmonte, Tiziano, Olivetti, Nicola, Pozzato, Gian Luca

Volltext

Author Correction: SciPy 1.0: fundamental algorithms for scientific computing in Python von Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul

Volltext

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

Volltext

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics von Dalmonte, Tiziano, Negri, Sara, Olivetti, Nicola, Pozzato, Gian Luca

Volltext

Intuitionistic Non-Normal Modal Logics: A general framework von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext bestellen

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

Volltext bestellen

Intuitionistic Non-Normal Modal Logics: A general framework von Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Volltext

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity von Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

Volltext