Logic in computer science II / ed.: S.Ghilezan. - Beograd: Matematichki institut SANU, 2015. - 223 p.: ill. - (Zbornik radova / Математички институт (Београд); 18(26)). - Bibliogr. at the end of the art. - ISBN 978-86-80593-57-9 Шифр: (Pr 1182/18-26) 02  Место хранения:   02 | Отделение ГПНТБ СО РАН | Новосибирск

Оглавление / Contents

Silvia Ghilezan: PREFACE ...................................... 5-6 Zoran Petrić: 270 MINUTES ON CATEGORIAL PROOF THEORY ......... 7-35 Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, and Zoran Markovic: FIRST-ORDER PROBABILISTIC LOGICS AND THEIR APPLICATIONS.............................................. 37-78 Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne and Silvia Likavec: STRUCTURAL RULES AND RESOURCE CONTROL IN LOGIC AND COMPUTATION ......................................... 79-109 Jelena Čolić Oravec, Hajime Machida, Jovanka Pantović, and Gradimir Vojvodić: FROM CLONES TO HYPERCLONES ......... 111-144 Radomir S. Stanković, Jaakko Astola, and Claudio Moraga: PASCAL MATRICES, REED-MULLER EXPRESSIONS AND REED- MULLER ERROR CORRECTING CODES .......................... 145-172 Filip Marić: A SURVEY OF INTERACTIVE THEOREM PROVING ...... 173-223