Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Dowek, Murdoch James Gabbay. Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 104-118, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Gilles Dowek' in GoogleThis author has not been identified. Look up 'Murdoch James Gabbay' in Google

runs on WebDSL