Detecting decidable classes of finitely ground logic programs with function symbols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Calautti, Sergio Greco, Irina Trubitsyna. Detecting decidable classes of finitely ground logic programs with function symbols. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 239-250, ACM, 2013. [doi]

This author has not been identified. Look up 'Marco Calautti' in GoogleThis author has not been identified. Look up 'Sergio Greco' in GoogleThis author has not been identified. Look up 'Irina Trubitsyna' in Google

runs on WebDSL