%0 Book Section %1 books/crc/tucker97/JiangLR97 %A Jiang, Tao %A Li, Ming %A Ravikumar, Bala %B The Computer Science and Engineering Handbook %D 1997 %E Tucker, Allen B. %I CRC Press %K imported %P 31-63 %T Formal Models and Computability. %U http://dblp.uni-trier.de/db/books/collections/tucker97.html#JiangLR97 %@ 0-8493-2909-4

@incollection{books/crc/tucker97/JiangLR97, added-at = {2009-08-02T10:38:01.000+0200}, author = {Jiang, Tao and Li, Ming and Ravikumar, Bala}, biburl = {https://www.bibsonomy.org/bibtex/2f2fe9e4e823e991d72c0c1573fe91edd/gwpl}, booktitle = {The Computer Science and Engineering Handbook}, crossref = {books/crc/tucker1997}, date = {2008-02-24}, description = {dblp}, editor = {Tucker, Allen B.}, interhash = {717fc77e6b6b87459798821769419f1b}, intrahash = {f2fe9e4e823e991d72c0c1573fe91edd}, isbn = {0-8493-2909-4}, keywords = {imported}, pages = {31-63}, publisher = {CRC Press}, timestamp = {2009-08-02T10:38:01.000+0200}, title = {Formal Models and Computability.}, url = {http://dblp.uni-trier.de/db/books/collections/tucker97.html#JiangLR97}, year = 1997 }