Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Mohammad Ardeshir Rasoul Ramezanian"
@article{DBLP:journals/corr/abs-1304-6276, author = {Mohammad Ardeshir and Rasoul Ramezanian}, title = {Epistemic Learning Programs {A} Calculus for Describing Epistemic Action Models}, journal = {CoRR}, volume = {abs/1304.6276}, year = {2013}, url = {http://arxiv.org/abs/1304.6276}, eprinttype = {arXiv}, eprint = {1304.6276}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-6276.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/ArdeshirR12, author = {Mohammad Ardeshir and Rasoul Ramezanian}, title = {On the constructive notion of closure maps}, journal = {Math. Log. Q.}, volume = {58}, number = {4-5}, pages = {348--355}, year = {2012}, url = {https://doi.org/10.1002/malq.201110040}, doi = {10.1002/MALQ.201110040}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/ArdeshirR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/ArdeshirR12, author = {Mohammad Ardeshir and Rasoul Ramezanian}, title = {A solution to the Surprise Exam Paradox in Constructive Mathematics}, journal = {Rev. Symb. Log.}, volume = {5}, number = {4}, pages = {679--686}, year = {2012}, url = {https://doi.org/10.1017/S1755020312000160}, doi = {10.1017/S1755020312000160}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/ArdeshirR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/ArdeshirR10, author = {Mohammad Ardeshir and Rasoul Ramezanian}, title = {The double negation of the intermediate value theorem}, journal = {Ann. Pure Appl. Log.}, volume = {161}, number = {6}, pages = {737--744}, year = {2010}, url = {https://doi.org/10.1016/j.apal.2009.06.005}, doi = {10.1016/J.APAL.2009.06.005}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/ArdeshirR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/ArdeshirR09, author = {Mohammad Ardeshir and Rasoul Ramezanian}, title = {Decidability and Specker sequences in intuitionistic mathematics}, journal = {Math. Log. Q.}, volume = {55}, number = {6}, pages = {637--648}, year = {2009}, url = {https://doi.org/10.1002/malq.200710094}, doi = {10.1002/MALQ.200710094}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/ArdeshirR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.