%0 Conference Paper %1 conf/csl/ChagrovS94 %A Chagrov, Alexander V. %A Shehtman, Valentin B. %B CSL %D 1994 %E Pacholski, Leszek %E Tiuryn, Jerzy %I Springer %K dblp %P 442-455 %T Algorithmic Aspects of Propositional Tense Logics. %U http://dblp.uni-trier.de/db/conf/csl/csl94.html#ChagrovS94 %V 933 %@ 3-540-60017-5

@inproceedings{conf/csl/ChagrovS94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Chagrov, Alexander V. and Shehtman, Valentin B.}, biburl = {https://www.bibsonomy.org/bibtex/2feea5d3d9fac3a3aad033e48b145a495/dblp}, booktitle = {CSL}, crossref = {conf/csl/1994}, editor = {Pacholski, Leszek and Tiuryn, Jerzy}, ee = {https://doi.org/10.1007/BFb0022274}, interhash = {0ef1b50e18d0d1acfe3bd1af9ddaabfd}, intrahash = {feea5d3d9fac3a3aad033e48b145a495}, isbn = {3-540-60017-5}, keywords = {dblp}, pages = {442-455}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:51.000+0200}, title = {Algorithmic Aspects of Propositional Tense Logics.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl94.html#ChagrovS94}, volume = 933, year = 1994 }