NAZARENO AGUIRRE; VALENTIN CASSANO; PABLO F. CASTRO; RAMIRO DEMASI

Preface

Mathematical Foundations of Software Engineering Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement

Lugar: Londres; Año: 2022; p. 1 - 6

PABLO F. CASTRO; PIOTR KULICKI

Deontic Logics Based on Boolean Algebra

Krister Segerberg on Logic of Actions

Año: 2014; p. 85 - 117