%0 Conference Paper %1 journals/corr/abs-2204-06728 %A Tomczyk, Agata %A Leszczynska-Jasion, Dorota %B NCL %D 2022 %E Indrzejczak, Andrzej %E Zawidzki, Michal %K dblp %P 136-149 %T Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs358.html#abs-2204-06728 %V 358

@inproceedings{journals/corr/abs-2204-06728, added-at = {2023-09-30T00:00:00.000+0200}, author = {Tomczyk, Agata and Leszczynska-Jasion, Dorota}, biburl = {https://www.bibsonomy.org/bibtex/2ceb76b5119141225747cd019a3d3f0d2/dblp}, booktitle = {NCL}, crossref = {journals/corr/abs-2204-06359}, editor = {Indrzejczak, Andrzej and Zawidzki, Michal}, ee = {https://www.wikidata.org/entity/Q113999170}, interhash = {b44c8425a3e2c3b40420218a78e40ce8}, intrahash = {ceb76b5119141225747cd019a3d3f0d2}, keywords = {dblp}, pages = {136-149}, series = {EPTCS}, timestamp = {2024-04-09T09:30:23.000+0200}, title = {Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs358.html#abs-2204-06728}, volume = 358, year = 2022 }