Bibtex de la publication

@InProceedings{ Ba2014.27,
author = {Balbiani, Philippe and Tinchev, Tinko},
title = "{Definability and computability for PRSPDL (regular paper)}",
booktitle = "{Advances in Modal Logic (AiML), Groningen (Netherlands), 01/01/2014-31/12/2014}",
year = {2014},
publisher = {College Publications},
address = {http://www.collegepublications.co.uk/},
pages = {16--33},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/19188/},
keywords = {Modal logic, dynamic logic, definability, computability, PRSPDL}
}