SuzukiNI97'

BibTeX

@inproceedings{DBLP:conf/alp/SuzukiNI97,
  author    = {Taro Suzuki and
               Koji Nakagawa and
               Tetsuo Ida},
  title     = {Higher-Order Lazy Narrowing Calculus: A Computation Model
               for a Higher-Order Functional Logic Language},
  booktitle = {ALP/HOA},
  year      = {1997},
  pages     = {99-113},
  ee        = {http://dx.doi.org/10.1007/BFb0027005},
  crossref  = {DBLP:conf/alp/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/alp/1997,
  editor    = {Michael Hanus and
               Jan Heering and
               Karl Meinke},
  title     = {Algebraic and Logic Programming, 6th International Joint
               Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember
               3-5, 1997, Proceedings},
  booktitle = {ALP/HOA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1298},
  year      = {1997},
  isbn      = {3-540-63459-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}