Inproceedings,
Proof-Tree Transformation Theorems and Their Applications.
R. Ramakrishnan, Y. Sagiv, J. Ullman, and M. Vardi.PODS, page 172-181. ACM Press, (1989)
Meta data
- BibTeX key
- conf/pods/RamakrishnanSUV89
- entry type
- inproceedings
- booktitle
- PODS
- year
- 1989
- pages
- 172-181
- publisher
- ACM Press
- crossref
- conf/pods/89
- ee
- https://doi.org/10.1145/73721.73739
- isbn
- 0-89791-308-6
- cdrom
- journals/anthology/dvd1:text/1-3/PODS89/P172.PDF
- cite
- ...
- url
- http://dblp.uni-trier.de/db/conf/pods/pods89.html#RamakrishnanSUV89
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pods/RamakrishnanSUV89
%A Ramakrishnan, Raghu
%A Sagiv, Yehoshua
%A Ullman, Jeffrey D.
%A Vardi, Moshe Y.
%B PODS
%D 1989
%E Silberschatz, Avi
%I ACM Press
%K dblp
%P 172-181
%T Proof-Tree Transformation Theorems and Their Applications.
%U http://dblp.uni-trier.de/db/conf/pods/pods89.html#RamakrishnanSUV89
%@ 0-89791-308-6
@inproceedings{conf/pods/RamakrishnanSUV89,
added-at = {2024-05-02T00:00:00.000+0200},
author = {Ramakrishnan, Raghu and Sagiv, Yehoshua and Ullman, Jeffrey D. and Vardi, Moshe Y.},
biburl = {https://www.bibsonomy.org/bibtex/2c31e23bfd5559ff6a3f130c669c0aca0/dblp},
booktitle = {PODS},
cdrom = {journals/anthology/dvd1:text/1-3/PODS89/P172.PDF},
cite = {...},
crossref = {conf/pods/89},
editor = {Silberschatz, Avi},
ee = {https://doi.org/10.1145/73721.73739},
interhash = {3ff619e1bf2a958a844e5e97f9cedeb3},
intrahash = {c31e23bfd5559ff6a3f130c669c0aca0},
isbn = {0-89791-308-6},
keywords = {dblp},
pages = {172-181},
publisher = {ACM Press},
timestamp = {2024-05-06T07:18:29.000+0200},
title = {Proof-Tree Transformation Theorems and Their Applications.},
url = {http://dblp.uni-trier.de/db/conf/pods/pods89.html#RamakrishnanSUV89},
year = 1989
}