A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. In Wolfgang Faber, Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

This author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Cristiano Longo' in GoogleThis author has not been identified. Look up 'Marianna Nicolosi Asmundo' in Google

runs on WebDSL