RiemsdijkBDM06'

BibTeX

@inproceedings{DBLP:conf/clima/RiemsdijkBDM06,
  author    = {M. Birna van Riemsdijk and
               Frank S. de Boer and
               Mehdi Dastani and
               John-Jules Ch. Meyer},
  title     = {Prototyping 3APL in the Maude Term Rewriting Language},
  booktitle = {CLIMA VII},
  year      = {2006},
  pages     = {95-114},
  ee        = {http://dx.doi.org/10.1007/978-3-540-69619-3_6},
  crossref  = {DBLP:conf/clima/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/clima/2006,
  editor    = {Katsumi Inoue and
               Ken Satoh and
               Francesca Toni},
  title     = {Computational Logic in Multi-Agent Systems, 7th International
               Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised
               Selected and Invited Papers},
  booktitle = {CLIMA VII},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4371},
  year      = {2007},
  isbn      = {978-3-540-69618-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}