Inproceedings,
Logic Program Termination Analysis Using Atom Sizes.
M. Calautti, S. Greco, C. Molinaro, and I. Trubitsyna.IJCAI, page 2833-2839. AAAI Press, (2015)
Meta data
- BibTeX key
- conf/ijcai/CalauttiGMT15
- entry type
- inproceedings
- booktitle
- IJCAI
- year
- 2015
- pages
- 2833-2839
- publisher
- AAAI Press
- crossref
- conf/ijcai/2015
- ee
- http://ijcai.org/Abstract/15/401
- isbn
- 978-1-57735-738-4
- url
- http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#CalauttiGMT15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ijcai/CalauttiGMT15
%A Calautti, Marco
%A Greco, Sergio
%A Molinaro, Cristian
%A Trubitsyna, Irina
%B IJCAI
%D 2015
%E Yang, Qiang
%E Wooldridge, Michael J.
%I AAAI Press
%K dblp
%P 2833-2839
%T Logic Program Termination Analysis Using Atom Sizes.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#CalauttiGMT15
%@ 978-1-57735-738-4
@inproceedings{conf/ijcai/CalauttiGMT15,
added-at = {2019-08-20T00:00:00.000+0200},
author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina},
biburl = {https://www.bibsonomy.org/bibtex/269134876b61f490d93fdffac221a5232/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2015},
editor = {Yang, Qiang and Wooldridge, Michael J.},
ee = {http://ijcai.org/Abstract/15/401},
interhash = {0953de5a6fb41a3ed129ffeceaa906d9},
intrahash = {69134876b61f490d93fdffac221a5232},
isbn = {978-1-57735-738-4},
keywords = {dblp},
pages = {2833-2839},
publisher = {AAAI Press},
timestamp = {2019-08-21T11:54:26.000+0200},
title = {Logic Program Termination Analysis Using Atom Sizes.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#CalauttiGMT15},
year = 2015
}