From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence., и . CALCO, том 72 из LIPIcs, стр. 23:1-23:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Power Set Recursion.. Ann. Pure Appl. Log., 71 (3): 247-306 (1995)The Soundness of Internalized Polarity Marking.. Stud Logica, 100 (4): 683-704 (2012)Books received., и . Stud Logica, 50 (1): 161-167 (1991)Simple Equational Specifications of Rational Arithmetic.. Discret. Math. Theor. Comput. Sci., 4 (2): 291-300 (2001)The Logic of Public Announcements and Common Knowledge and Private Suspicions., , и . TARK, стр. 43-56. Morgan Kaufmann, (1998)Topological Reasoning and the Logic of Knowledge., , и . Ann. Pure Appl. Log., 78 (1-3): 73-110 (1996)Curing the SICK and Other NLI Maladies., , , , и . Comput. Linguistics, 49 (1): 199-243 (марта 2023)Recursive Program Schemes: Past, Present, and Future.. AMAST, том 4019 из Lecture Notes in Computer Science, стр. 2. Springer, (2006)Vicious circles - on the mathematics of non-wellfounded phenomena., и . CSLI lecture notes series CSLI, (1996)