%0 Conference Paper %1 conf/istcs/HarelS95 %A Harel, David %A Singerman, Eli %B ISTCS %D 1995 %I IEEE Computer Society %K dblp %P 140-149 %T More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. %U http://dblp.uni-trier.de/db/conf/istcs/istcs1995.html#HarelS95 %@ 0-8186-6915-2

@inproceedings{conf/istcs/HarelS95, added-at = {2023-03-23T00:00:00.000+0100}, author = {Harel, David and Singerman, Eli}, biburl = {https://www.bibsonomy.org/bibtex/2cb13da5fd0268a9e93c8c94ac46a9dd5/dblp}, booktitle = {ISTCS}, crossref = {conf/istcs/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISTCS.1995.377037}, interhash = {47ef3f57342caa84c63813379d007bef}, intrahash = {cb13da5fd0268a9e93c8c94ac46a9dd5}, isbn = {0-8186-6915-2}, keywords = {dblp}, pages = {140-149}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:51:34.000+0200}, title = {More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.}, url = {http://dblp.uni-trier.de/db/conf/istcs/istcs1995.html#HarelS95}, year = 1995 }