BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Corrections and Higher-Order Unification

CoRR, cmp-lg/96090011996.
Authors: Claire Gardent and Michael Kohlhase and Noor van Leusen
URL: http://dblp.uni-trier.de/db/journals/corr/corr9609.html#cmp-lg-9609001
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/corr/cmp-lg-9609001,
title = {Corrections and Higher-Order Unification},
author = {Claire Gardent and Michael Kohlhase and Noor van Leusen},
journal = {CoRR},
note = {informal publication},
url = {http://dblp.uni-trier.de/db/journals/corr/corr9609.html#cmp-lg-9609001},
volume = {cmp-lg/9609001},
year = {1996},
description = {dblp},
ee = {http://arxiv.org/abs/cmp-lg/9609001}, date = {2008-01-02},
keywords = {dblp }
}