%0 Thesis %1 harel1978firstorder %A Harel, David %D 1978 %K %T First-order dynamic logic

@phdthesis{harel1978firstorder, added-at = {2023-12-13T09:05:12.000+0100}, author = {Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/235782fab129afe148a85dcb87f07ec79/admin}, dnbtitleid = {790773899}, interhash = {cad036875c2e7063e2c1aaa5ef7f413a}, intrahash = {35782fab129afe148a85dcb87f07ec79}, keywords = {}, timestamp = {2023-12-13T09:05:12.000+0100}, title = {First-order dynamic logic}, year = 1978 }