BibTeX record conf/seke/ZhaoGQC06

download as .bib file

@inproceedings{DBLP:conf/seke/ZhaoGQC06,
  author       = {Lingzhong Zhao and
                  Tianlong Gu and
                  Junyan Qian and
                  Guoyong Cai},
  editor       = {Kang Zhang and
                  George Spanoudakis and
                  Giuseppe Visaggio},
  title        = {A Constraint-based Correct Call Pattern Semantics for Prolog as an
                  Abstraction of Decorated Tree Semantics},
  booktitle    = {Proceedings of the Eighteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
                  CA, USA, July 5-7, 2006},
  pages        = {359--362},
  year         = {2006},
  timestamp    = {Thu, 15 Aug 2024 07:54:35 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/ZhaoGQC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}