Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/ipl/ChatterjeeDC04
%A Chatterjee, Krishnendu
%A Dasgupta, Pallab
%A Chakrabarti, P. P.
%D 2004
%J Inf. Process. Lett.
%K dblp
%N 5
%P 201-210
%T The power of first-order quantification over states in branching and linear time temporal logics.
%U http://dblp.uni-trier.de/db/journals/ipl/ipl91.html#ChatterjeeDC04
%V 91
@article{journals/ipl/ChatterjeeDC04,
added-at = {2022-11-07T00:00:00.000+0100},
author = {Chatterjee, Krishnendu and Dasgupta, Pallab and Chakrabarti, P. P.},
biburl = {https://www.bibsonomy.org/bibtex/274920f8bb4980c9f132410474c2d9493/dblp},
ee = {https://doi.org/10.1016/j.ipl.2004.05.003},
interhash = {2c36d9f9c0e400e4a7abe29a2006eed1},
intrahash = {74920f8bb4980c9f132410474c2d9493},
journal = {Inf. Process. Lett.},
keywords = {dblp},
number = 5,
pages = {201-210},
timestamp = {2024-04-08T12:07:56.000+0200},
title = {The power of first-order quantification over states in branching and linear time temporal logics.},
url = {http://dblp.uni-trier.de/db/journals/ipl/ipl91.html#ChatterjeeDC04},
volume = 91,
year = 2004
}