Gianluigi Bellin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Gianluigi Bellin, Kurt Ranalter: A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. J. Log. Comput. 13(5): 755-775 (2003)

Selection of 1 from 6 records - Gianluigi Bellin has 7 coauthors