Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icdt/BaileyCRS97
%A Bailey, James
%A Crnogorac, Lobel
%A Ramamohanarao, Kotagiri
%A Søndergaard, Harald
%B ICDT
%D 1997
%E Afrati, Foto N.
%E Kolaitis, Phokion G.
%I Springer
%K dblp
%P 188-202
%T Abstract Interpretation of Active Rules and its Use in Termination Analysis.
%U http://dblp.uni-trier.de/db/conf/icdt/icdt97.html#BaileyCRS97
%V 1186
%@ 3-540-62222-5
@inproceedings{conf/icdt/BaileyCRS97,
added-at = {2019-04-16T00:00:00.000+0200},
author = {Bailey, James and Crnogorac, Lobel and Ramamohanarao, Kotagiri and Søndergaard, Harald},
biburl = {https://www.bibsonomy.org/bibtex/2a906b051f32093b1a94fc2d17ed30e6f/dblp},
booktitle = {ICDT},
cdrom = {ICDT1997/P188.pdf},
cite = {journals/sigmod/Widom92},
crossref = {conf/icdt/97},
editor = {Afrati, Foto N. and Kolaitis, Phokion G.},
ee = {https://www.wikidata.org/entity/Q57665059},
interhash = {fec7a87cd02b5be4f53dcb7df5f33976},
intrahash = {a906b051f32093b1a94fc2d17ed30e6f},
isbn = {3-540-62222-5},
keywords = {dblp},
pages = {188-202},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:08:37.000+0200},
title = {Abstract Interpretation of Active Rules and its Use in Termination Analysis.},
url = {http://dblp.uni-trier.de/db/conf/icdt/icdt97.html#BaileyCRS97},
volume = 1186,
year = 1997
}