equal
deleted
inserted
replaced
189 |
189 |
190 @INPROCEEDINGS{Pottier06, |
190 @INPROCEEDINGS{Pottier06, |
191 author = {F.~Pottier}, |
191 author = {F.~Pottier}, |
192 title = {{A}n {O}verview of {C$\alpha$ml}}, |
192 title = {{A}n {O}verview of {C$\alpha$ml}}, |
193 year = {2006}, |
193 year = {2006}, |
194 booktitle = {Proc.~of the ACM Workshop on ML}, |
194 booktitle = {Proc.~of the 7th ACM Workshop on ML}, |
195 pages = {27--52}, |
195 pages = {27--52}, |
196 volume = {148}, |
196 volume = {148}, |
197 number = {2}, |
197 number = {2}, |
198 series = {ENTCS} |
198 series = {ENTCS} |
199 } |
199 } |