%0 Thesis %1 phd/dnb/Szabo21 %A Szabó, Tamás %D 2021 %K dblp %T Incrementalizing Static Analyses in Datalog.

@phdthesis{phd/dnb/Szabo21, added-at = {2021-07-17T00:00:00.000+0200}, author = {Szabó, Tamás}, biburl = {https://www.bibsonomy.org/bibtex/2cbc2e6ee514adf7fb38a4854d42b52ec/dblp}, ee = {https://d-nb.info/1227578350}, interhash = {268fae693452247291ab2b58fe43bd84}, intrahash = {cbc2e6ee514adf7fb38a4854d42b52ec}, keywords = {dblp}, school = {University of Mainz, Germany}, timestamp = {2024-04-09T08:18:34.000+0200}, title = {Incrementalizing Static Analyses in Datalog.}, year = 2021 }