Search dblp for Publications

export results for "toc:db/journals/cjtcs/cjtcs1996.bht:"

 download as .bib file

@article{DBLP:journals/cjtcs/BuntrockN96,
  author    = {Gerhard Buntrock and
               Gundula Niemann},
  title     = {Weakly Growing Context-Sensitive Grammars},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/4/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/BuntrockN96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/GerstelCZ96,
  author    = {Ornan Ori Gerstel and
               Israel Cidon and
               Shmuel Zaks},
  title     = {Optimal Virtual Path Layout in {ATM} Networks With Shared Routing
               Table Switches},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/3/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/GerstelCZ96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/HooverR96,
  author    = {H. James Hoover and
               Piotr Rudnicki},
  title     = {Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write
               Atomicity},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/5/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/HooverR96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Middendorf96,
  author    = {Martin Middendorf},
  title     = {Manhattan Channel Routing is NP-complete Under Truly Restricted Settings},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/6/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/Middendorf96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Ogihara96,
  author    = {Mitsunori Ogihara},
  title     = {Sparse Hard Sets for {P} Yield Space-Efficient Algorithms},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/2/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/Ogihara96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Vardi96,
  author    = {Moshe Y. Vardi},
  title     = {Rank Predicates vs. Progress Measures in Concurrent-Program Verification},
  journal   = {Chic. J. Theor. Comput. Sci.},
  volume    = {1996},
  year      = {1996},
  url       = {http://cjtcs.cs.uchicago.edu/articles/1996/1/contents.html},
  timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cjtcs/Vardi96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics