%0 Conference Paper %1 conf/coco/AbiteboulVV92 %A Abiteboul, Serge %A Vardi, Moshe Y. %A Vianu, Victor %B SCT %D 1992 %I IEEE Computer Society %K dblp %P 156-168 %T Fixpoint Logics, Relational Machines, and Computational Complexity. %U http://dblp.uni-trier.de/db/conf/coco/coco92.html#AbiteboulVV92 %@ 0-8186-2955-X

@inproceedings{conf/coco/AbiteboulVV92, added-at = {2023-03-24T00:00:00.000+0100}, author = {Abiteboul, Serge and Vardi, Moshe Y. and Vianu, Victor}, biburl = {https://www.bibsonomy.org/bibtex/25bcea94ccba8ee7a8b2c50cefe97531a/dblp}, booktitle = {SCT}, crossref = {conf/coco/1992}, ee = {https://doi.ieeecomputersociety.org/10.1109/SCT.1992.215391}, interhash = {995d892ffabf680972d0b735978d8317}, intrahash = {5bcea94ccba8ee7a8b2c50cefe97531a}, isbn = {0-8186-2955-X}, keywords = {dblp}, pages = {156-168}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:30:05.000+0200}, title = {Fixpoint Logics, Relational Machines, and Computational Complexity.}, url = {http://dblp.uni-trier.de/db/conf/coco/coco92.html#AbiteboulVV92}, year = 1992 }