%0 Journal Article %1 journals/jlap/RusuN21 %A Rusu, Vlad %A Nowak, David %D 2021 %J J. Log. Algebraic Methods Program. %K dblp %P 100619 %T (Co)inductive proof systems for compositional proofs in reachability logic. %U http://dblp.uni-trier.de/db/journals/jlap/jlap118.html#RusuN21 %V 118

@article{journals/jlap/RusuN21, added-at = {2023-08-28T00:00:00.000+0200}, author = {Rusu, Vlad and Nowak, David}, biburl = {https://www.bibsonomy.org/bibtex/238938d4fe057917397e7ddf3c6fbc686/dblp}, ee = {https://www.wikidata.org/entity/Q113870957}, interhash = {d6b0ad0ba95f8e529461e61404c2076d}, intrahash = {38938d4fe057917397e7ddf3c6fbc686}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100619, timestamp = {2024-04-09T05:08:11.000+0200}, title = {(Co)inductive proof systems for compositional proofs in reachability logic.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap118.html#RusuN21}, volume = 118, year = 2021 }