%0 Book %1 books/sp/Mulkers93 %A Mulkers, Anne %B Lecture Notes in Computer Science %D 1993 %I Springer %K dblp %P 1-220 %T Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation %V 675 %@ 3-540-56694-5

@book{books/sp/Mulkers93, added-at = {2021-07-17T00:00:00.000+0200}, author = {Mulkers, Anne}, biburl = {https://www.bibsonomy.org/bibtex/2168e2c830e736f2e65d621432e2b7ec6/dblp}, ee = {https://d-nb.info/930738896}, interhash = {6d93a9d49dd557ee3801d029d1450c0c}, intrahash = {168e2c830e736f2e65d621432e2b7ec6}, isbn = {3-540-56694-5}, keywords = {dblp}, pages = {1-220}, publisher = {Springer}, school = {Université catholique de Louvain, Belgium}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T07:56:22.000+0200}, title = {Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation}, volume = 675, year = 1993 }