top

Concrete Domains and Nominals United

C. Areces and C. Lutz. Concrete Domains and Nominals United. In Proceedings of HyLo@LICS, Copenhagen, Denmark, July 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces02:_concr_domain_nomin_united,
  author = {C. Areces and C. Lutz},
  title = {Concrete Domains and Nominals United},
  booktitle = {Proceedings of {HyLo@LICS}},
  year = {2002},
  address = {Copenhagen, Denmark},
  month = {July},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33