Constructive negation by bottom-up computation of literal answers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Álvez, Paqui Lucio, Fernando Orejas. Constructive negation by bottom-up computation of literal answers. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 1468-1475, ACM, 2004. [doi]

This author has not been identified. Look up 'Javier Álvez' in GoogleThis author has not been identified. Look up 'Paqui Lucio' in GoogleThis author has not been identified. Look up 'Fernando Orejas' in Google

runs on WebDSL