DBLP Record 'conf/flops/Sakurai98'

BibTeX

@inproceedings{DBLP:conf/flops/Sakurai98,
  author    = {Takafumi Sakurai},
  title     = {Categorial Model Construction for Proving Syntactic Properties},
  booktitle = {Fuji International Symposium on Functional and Logic Programming},
  year      = {1998},
  pages     = {187-206},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}