A Parametric Interpolation Framework for First-Order Theories (bibtex)
by Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina
Reference:
A Parametric Interpolation Framework for First-Order TheoriesLaura Kovács, Simone Fulvio Rollini, Natasha SharyginaProceedings of the 12th Mexican International Conference on Artificial Intelligence - Advances in Artificial Intelligence and Its Applications (MICAI), pages 24-40, 2013.
Bibtex Entry:
@inproceedings{KovacsMICAI13b,
title = {A Parametric Interpolation Framework for First-Order Theories},
ee = {http://dx.doi.org/10.1007/978-3-642-45114-0_3},
booktitle = {Proceedings of the 12th Mexican International Conference on Artificial
Intelligence - Advances in Artificial Intelligence and Its Applications
(MICAI)},
author = {Laura Kov{\'a}cs and Simone Fulvio Rollini and Natasha Sharygina},
url = {/pubpdf/A_Parametric_Interpolation_Framework_for_First-Order_Theories.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {24-40},
crossref = {DBLP:conf/micai/2013-1},
}
Powered by bibtexbrowser