BibTeX record conf/mfcs/CulikK86

download as .bib file

@inproceedings{DBLP:conf/mfcs/CulikK86,
  author    = {Karel Culik II and
               Juhani Karhum{\"{a}}ki},
  title     = {The Equivalence of Finite Valued Transducers (on {HDTOL} Languages)
               is Decidable},
  booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
               August 25-29, 1996, Proceedings},
  pages     = {264--272},
  year      = {1986},
  crossref  = {DBLP:conf/mfcs/1986},
  url       = {https://doi.org/10.1007/BFb0016250},
  doi       = {10.1007/BFb0016250},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/CulikK86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1986,
  editor    = {Jozef Gruska and
               Branislav Rovan and
               Juraj Wiedermann},
  title     = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
               August 25-29, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {233},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/BFb0016229},
  doi       = {10.1007/BFb0016229},
  isbn      = {3-540-16783-8},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier