%0 Journal Article %1 journals/mlq/ShimuraK94 %A Shimura, Tatsuya %A Kashima, Ryo %D 1994 %J Math. Log. Q. %K dblp %P 153-172 %T Cut-Elimination Theorem for the Logic of Constant Domains. %U http://dblp.uni-trier.de/db/journals/mlq/mlq40.html#ShimuraK94 %V 40

@article{journals/mlq/ShimuraK94, added-at = {2023-09-30T00:00:00.000+0200}, author = {Shimura, Tatsuya and Kashima, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/2c8517632d1ee76b6fa54b8f486fd9879/dblp}, ee = {https://doi.org/10.1002/malq.19940400203}, interhash = {6a8610752a2a3a238c4c40484ebdf9af}, intrahash = {c8517632d1ee76b6fa54b8f486fd9879}, journal = {Math. Log. Q.}, keywords = {dblp}, pages = {153-172}, timestamp = {2024-04-08T17:44:13.000+0200}, title = {Cut-Elimination Theorem for the Logic of Constant Domains.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq40.html#ShimuraK94}, volume = 40, year = 1994 }