%0 Journal Article %1 journals/jlap/OlartePR23 %A Olarte, Carlos %A Pimentel, Elaine %A Rocha, Camilo %D 2023 %J J. Log. Algebraic Methods Program. %K dblp %P 100827 %T A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. %U http://dblp.uni-trier.de/db/journals/jlap/jlap130.html#OlartePR23 %V 130

@article{journals/jlap/OlartePR23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Olarte, Carlos and Pimentel, Elaine and Rocha, Camilo}, biburl = {https://www.bibsonomy.org/bibtex/2d2d11848dbd47db357dd4db574e2b559/dblp}, ee = {https://www.wikidata.org/entity/Q115188990}, interhash = {401f02ab2ddf806fb3d87b6add0d7555}, intrahash = {d2d11848dbd47db357dd4db574e2b559}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100827, timestamp = {2024-04-09T05:08:13.000+0200}, title = {A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap130.html#OlartePR23}, volume = 130, year = 2023 }