Inclusion Logic and Fixed Point Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pietro Galliani, Lauri Hella. Inclusion Logic and Fixed Point Logic. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 281-295, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

This author has not been identified. Look up 'Pietro Galliani' in GoogleThis author has not been identified. Look up 'Lauri Hella' in Google

runs on WebDSL