Article,
PDL for Ordered Trees.
L. Afanasiev, P. Blackburn, I. Dimitriou, B. Gaiffe, E. Goris, M. Marx, and M. de Rijke.J. Appl. Non Class. Logics, 15 (2): 115-135 (2005)
Meta data
- BibTeX key
- journals/jancl/AfanasievBDGGMR05
- entry type
- article
- year
- 2005
- journal
- J. Appl. Non Class. Logics
- number
- 2
- pages
- 115-135
- volume
- 15
- ee
- https://doi.org/10.3166/jancl.15.115-135
- url
- http://dblp.uni-trier.de/db/journals/jancl/jancl15.html#AfanasievBDGGMR05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jancl/AfanasievBDGGMR05
%A Afanasiev, Loredana
%A Blackburn, Patrick
%A Dimitriou, Ioanna
%A Gaiffe, Bertrand
%A Goris, Evan
%A Marx, Maarten
%A de Rijke, Maarten
%D 2005
%J J. Appl. Non Class. Logics
%K dblp
%N 2
%P 115-135
%T PDL for Ordered Trees.
%U http://dblp.uni-trier.de/db/journals/jancl/jancl15.html#AfanasievBDGGMR05
%V 15
@article{journals/jancl/AfanasievBDGGMR05,
added-at = {2020-09-05T00:00:00.000+0200},
author = {Afanasiev, Loredana and Blackburn, Patrick and Dimitriou, Ioanna and Gaiffe, Bertrand and Goris, Evan and Marx, Maarten and de Rijke, Maarten},
biburl = {https://www.bibsonomy.org/bibtex/26dfda5e3857d41284f3a339a0bc1199c/dblp},
ee = {https://doi.org/10.3166/jancl.15.115-135},
interhash = {9e4c6391e3e0bf51485c8f3c8dd854ec},
intrahash = {6dfda5e3857d41284f3a339a0bc1199c},
journal = {J. Appl. Non Class. Logics},
keywords = {dblp},
number = 2,
pages = {115-135},
timestamp = {2020-09-09T12:49:48.000+0200},
title = {PDL for Ordered Trees.},
url = {http://dblp.uni-trier.de/db/journals/jancl/jancl15.html#AfanasievBDGGMR05},
volume = 15,
year = 2005
}