%0 Journal Article %1 journals/sLogica/Pratt91 %A Pratt, Vaughan R. %D 1991 %J Stud Logica %K dblp %N 3-4 %P 571-605 %T Dynamic algebras: Examples, constructions, applications. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#Pratt91 %V 50

@article{journals/sLogica/Pratt91, added-at = {2020-09-01T00:00:00.000+0200}, author = {Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/24b0aa9e2d40839246f4fca2de13a8ce8/dblp}, ee = {https://doi.org/10.1007/BF00370685}, interhash = {b91e7d1b5600760945a8bd0e82c5aaae}, intrahash = {4b0aa9e2d40839246f4fca2de13a8ce8}, journal = {Stud Logica}, keywords = {dblp}, number = {3-4}, pages = {571-605}, timestamp = {2020-09-09T12:38:32.000+0200}, title = {Dynamic algebras: Examples, constructions, applications.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#Pratt91}, volume = 50, year = 1991 }