DBLP Record 'conf/slp/SawamuraT85'

BibTeX

@inproceedings{DBLP:conf/slp/SawamuraT85,
  author    = {Hajime Sawamura and
               Taku Takeshima},
  title     = {Recursive Unsolvability of Determinacy, Solvable Cases of
               Determinancy and their Applications to Prolog Optimization},
  booktitle = {SLP},
  year      = {1985},
  pages     = {200-207},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}