%0 Journal Article %1 journals/jlap/OverbeekER23 %A Overbeek, Roy %A Endrullis, Jörg %A Rosset, Aloïs %D 2023 %J J. Log. Algebraic Methods Program. %K dblp %P 100873 %T Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes. %U http://dblp.uni-trier.de/db/journals/jlap/jlap133.html#OverbeekER23 %V 133

@article{journals/jlap/OverbeekER23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Overbeek, Roy and Endrullis, Jörg and Rosset, Aloïs}, biburl = {https://www.bibsonomy.org/bibtex/2a1dbf35dd3077025d28e28ebe752fe00/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2023.100873}, interhash = {106e7adc87618605a66b3bce13fcca62}, intrahash = {a1dbf35dd3077025d28e28ebe752fe00}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, month = {June}, pages = 100873, timestamp = {2024-04-09T05:08:13.000+0200}, title = {Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap133.html#OverbeekER23}, volume = 133, year = 2023 }