Kupka97'

BibTeX

@inproceedings{DBLP:conf/birthday/Kupka97,
  author    = {Ingbert Kupka},
  title     = {Unique Fixpoints in Complete Lattices with Applications
               to Formal Languages and Semantics},
  booktitle = {Foundations of Computer Science: Potential - Theory - Cognition},
  year      = {1997},
  pages     = {107-115},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1337/13370107.htm},
  crossref  = {DBLP:conf/birthday/1997brauer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/1997brauer,
  editor    = {Christian Freksa and
               Matthias Jantzen and
               R{\"u}diger Valk},
  title     = {Foundations of Computer Science: Potential - Theory - Cognition,
               to Wilfried Brauer on the occasion of his sixtieth birthday},
  booktitle = {Foundations of Computer Science: Potential - Theory - Cognition},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1337},
  year      = {1997},
  isbn      = {3-540-63746-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}