Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46> ?p ?o }
Showing triples 1 to 5 of
5
with 100 triples per page.
- aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46 author "Heintze, N., Jaffar, J.".
- aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46 date "Feb 1991".
- aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46 institution "School of Computer Science, Carnegie Mellon University".
- aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46 isCitedBy Set_constraint.
- aaea56a1842b723fc6baed272bf4b201aba8a1e3e0e0b97733c58b32ce47ce46 title "A Decision Procedure for a Class of Set Constraints".