Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emil Jerábek
@article{DBLP:journals/apal/Jerabek23,
author = {Emil Jer{\'{a}}bek},
title = {On the proof complexity of logics of bounded branching},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {1},
pages = {103181},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2022.103181},
doi = {10.1016/J.APAL.2022.103181},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek23a,
author = {Emil Jer{\'{a}}bek},
title = {Elementary analytic functions in {VTC0}},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {6},
pages = {103269},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2023.103269},
doi = {10.1016/J.APAL.2023.103269},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek23,
author = {Emil Jer{\'{a}}bek},
title = {Models of {VTC} 0 {\textdollar}{\textbackslash}mathsf \{VTC{\^{}}0\}{\textdollar}
as exponential integer parts},
journal = {Math. Log. Q.},
volume = {69},
number = {2},
pages = {244--260},
year = {2023},
url = {https://doi.org/10.1002/malq.202300001},
doi = {10.1002/MALQ.202300001},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-15090,
author = {Emil Jer{\'{a}}bek},
title = {A simplified lower bound for implicational logic},
journal = {CoRR},
volume = {abs/2303.15090},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.15090},
doi = {10.48550/ARXIV.2303.15090},
eprinttype = {arXiv},
eprint = {2303.15090},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-15090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08513,
author = {Emil Jer{\'{a}}bek},
title = {A note on the complexity of addition},
journal = {CoRR},
volume = {abs/2306.08513},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08513},
doi = {10.48550/ARXIV.2306.08513},
eprinttype = {arXiv},
eprint = {2306.08513},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek22,
author = {Emil Jer{\'{a}}bek},
title = {Iterated multiplication in {VTC} \({}^{\mbox{0}}\)},
journal = {Arch. Math. Log.},
volume = {61},
number = {5-6},
pages = {705--767},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00810-6},
doi = {10.1007/S00153-021-00810-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek22,
author = {Emil Jer{\'{a}}bek},
title = {The theory of hereditarily bounded sets},
journal = {Math. Log. Q.},
volume = {68},
number = {2},
pages = {243--256},
year = {2022},
url = {https://doi.org/10.1002/malq.202100020},
doi = {10.1002/MALQ.202100020},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12164,
author = {Emil Jer{\'{a}}bek},
title = {Elementary analytic functions in VTC\({}^{\mbox{0}}\)},
journal = {CoRR},
volume = {abs/2206.12164},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12164},
doi = {10.48550/ARXIV.2206.12164},
eprinttype = {arXiv},
eprint = {2206.12164},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01197,
author = {Emil Jer{\'{a}}bek},
title = {Models of VTC\({}^{\mbox{0}}\) as exponential integer parts},
journal = {CoRR},
volume = {abs/2209.01197},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01197},
doi = {10.48550/ARXIV.2209.01197},
eprinttype = {arXiv},
eprint = {2209.01197},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Jerabek21,
author = {Emil Jer{\'{a}}bek},
title = {On the Complexity of the Clone Membership Problem},
journal = {Theory Comput. Syst.},
volume = {65},
number = {5},
pages = {839--868},
year = {2021},
url = {https://doi.org/10.1007/s00224-020-10016-7},
doi = {10.1007/S00224-020-10016-7},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Jerabek21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06932,
author = {Emil Jer{\'{a}}bek},
title = {The theory of hereditarily bounded sets},
journal = {CoRR},
volume = {abs/2104.06932},
year = {2021},
url = {https://arxiv.org/abs/2104.06932},
eprinttype = {arXiv},
eprint = {2104.06932},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek20,
author = {Emil Jer{\'{a}}bek},
title = {Induction rules in bounded arithmetic},
journal = {Arch. Math. Log.},
volume = {59},
number = {3-4},
pages = {461--501},
year = {2020},
url = {https://doi.org/10.1007/s00153-019-00702-w},
doi = {10.1007/S00153-019-00702-W},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek20,
author = {Emil Jer{\'{a}}bek},
title = {Rules with parameters in modal logic {II}},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {10},
pages = {102829},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2020.102829},
doi = {10.1016/J.APAL.2020.102829},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/Jerabek20,
author = {Emil Jer{\'{a}}bek},
title = {Recursive functions and existentially closed structures},
journal = {J. Math. Log.},
volume = {20},
number = {1},
pages = {2050002},
year = {2020},
url = {https://doi.org/10.1142/s0219061320500026},
doi = {10.1142/S0219061320500026},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/Jerabek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11282,
author = {Emil Jer{\'{a}}bek},
title = {On the proof complexity of logics of bounded branching},
journal = {CoRR},
volume = {abs/2004.11282},
year = {2020},
url = {https://arxiv.org/abs/2004.11282},
eprinttype = {arXiv},
eprint = {2004.11282},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03095,
author = {Emil Jer{\'{a}}bek},
title = {Iterated multiplication in VTC\({}^{\mbox{0}}\)},
journal = {CoRR},
volume = {abs/2011.03095},
year = {2020},
url = {https://arxiv.org/abs/2011.03095},
eprinttype = {arXiv},
eprint = {2011.03095},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek19,
author = {Emil Jer{\'{a}}bek},
title = {Rigid models of Presburger arithmetic},
journal = {Math. Log. Q.},
volume = {65},
number = {1},
pages = {108--115},
year = {2019},
url = {https://doi.org/10.1002/malq.201800019},
doi = {10.1002/MALQ.201800019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13157,
author = {Emil Jer{\'{a}}bek},
title = {Rules with parameters in modal logic {II}},
journal = {CoRR},
volume = {abs/1905.13157},
year = {2019},
url = {http://arxiv.org/abs/1905.13157},
eprinttype = {arXiv},
eprint = {1905.13157},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-13157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12211,
author = {Emil Jer{\'{a}}bek},
title = {On the complexity of the clone membership problem},
journal = {CoRR},
volume = {abs/1909.12211},
year = {2019},
url = {http://arxiv.org/abs/1909.12211},
eprinttype = {arXiv},
eprint = {1909.12211},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05797,
author = {Emil Jer{\'{a}}bek},
title = {Rigid models of Presburger arithmetic},
journal = {CoRR},
volume = {abs/1803.05797},
year = {2018},
url = {http://arxiv.org/abs/1803.05797},
eprinttype = {arXiv},
eprint = {1803.05797},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10718,
author = {Emil Jer{\'{a}}bek},
title = {Induction rules in bounded arithmetic},
journal = {CoRR},
volume = {abs/1809.10718},
year = {2018},
url = {http://arxiv.org/abs/1809.10718},
eprinttype = {arXiv},
eprint = {1809.10718},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek17,
author = {Emil Jer{\'{a}}bek},
title = {Proof complexity of intuitionistic implicational formulas},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {1},
pages = {150--190},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.09.003},
doi = {10.1016/J.APAL.2016.09.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09864,
author = {Emil Jer{\'{a}}bek},
title = {Recursive functions and existentially closed structures},
journal = {CoRR},
volume = {abs/1710.09864},
year = {2017},
url = {http://arxiv.org/abs/1710.09864},
eprinttype = {arXiv},
eprint = {1710.09864},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek16,
author = {Emil Jer{\'{a}}bek},
title = {Division by zero},
journal = {Arch. Math. Log.},
volume = {55},
number = {7-8},
pages = {997--1013},
year = {2016},
url = {https://doi.org/10.1007/s00153-016-0508-5},
doi = {10.1007/S00153-016-0508-5},
timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jerabek16,
author = {Emil Jer{\'{a}}bek},
title = {Integer factoring and modular square roots},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {2},
pages = {380--394},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2015.08.001},
doi = {10.1016/J.JCSS.2015.08.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Jerabek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek16,
author = {Emil Jer{\'{a}}bek},
title = {A note on the substructural hierarchy},
journal = {Math. Log. Q.},
volume = {62},
number = {1-2},
pages = {102--110},
year = {2016},
url = {https://doi.org/10.1002/malq.201500066},
doi = {10.1002/MALQ.201500066},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek16a,
author = {Emil Jer{\'{a}}bek},
title = {Cluster expansion and the boxdot conjecture},
journal = {Math. Log. Q.},
volume = {62},
number = {6},
pages = {608--614},
year = {2016},
url = {https://doi.org/10.1002/malq.201600036},
doi = {10.1002/MALQ.201600036},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek16,
author = {Emil Jer{\'{a}}bek},
title = {Division by zero},
journal = {CoRR},
volume = {abs/1604.07309},
year = {2016},
url = {http://arxiv.org/abs/1604.07309},
eprinttype = {arXiv},
eprint = {1604.07309},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek16a,
author = {Emil Jer{\'{a}}bek},
title = {Galois connection for multiple-output operations},
journal = {CoRR},
volume = {abs/1612.04353},
year = {2016},
url = {http://arxiv.org/abs/1612.04353},
eprinttype = {arXiv},
eprint = {1612.04353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek15,
author = {Emil Jer{\'{a}}bek},
title = {Open induction in a bounded arithmetic for {TC0}},
journal = {Arch. Math. Log.},
volume = {54},
number = {3-4},
pages = {359--394},
year = {2015},
url = {https://doi.org/10.1007/s00153-014-0414-7},
doi = {10.1007/S00153-014-0414-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek15,
author = {Emil Jer{\'{a}}bek},
title = {Rules with parameters in modal logic {I}},
journal = {Ann. Pure Appl. Log.},
volume = {166},
number = {9},
pages = {881--933},
year = {2015},
url = {https://doi.org/10.1016/j.apal.2015.04.004},
doi = {10.1016/J.APAL.2015.04.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek15,
author = {Emil Jer{\'{a}}bek},
title = {Blending margins: the modal logic {K} has nullary unification type},
journal = {J. Log. Comput.},
volume = {25},
number = {5},
pages = {1231--1240},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext055},
doi = {10.1093/LOGCOM/EXT055},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tbillc/2013,
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46906-4},
doi = {10.1007/978-3-662-46906-4},
isbn = {978-3-662-46905-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek15,
author = {Emil Jer{\'{a}}bek},
title = {A note on the substructural hierarchy},
journal = {CoRR},
volume = {abs/1507.00700},
year = {2015},
url = {http://arxiv.org/abs/1507.00700},
eprinttype = {arXiv},
eprint = {1507.00700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek15a,
author = {Emil Jer{\'{a}}bek},
title = {Proof complexity of intuitionistic implicational formulas},
journal = {CoRR},
volume = {abs/1512.05667},
year = {2015},
url = {http://arxiv.org/abs/1512.05667},
eprinttype = {arXiv},
eprint = {1512.05667},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek14,
author = {Emil Jer{\'{a}}bek},
title = {Open induction in a bounded arithmetic for TC{\^{}}0},
journal = {CoRR},
volume = {abs/1404.7435},
year = {2014},
url = {http://arxiv.org/abs/1404.7435},
eprinttype = {arXiv},
eprint = {1404.7435},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JerabekK13,
author = {Emil Jer{\'{a}}bek and
Leszek Aleksander Kolodziejczyk},
title = {Real closures of models of weak arithmetic},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {143--157},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0311-x},
doi = {10.1007/S00153-012-0311-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JerabekK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek13,
author = {Emil Jer{\'{a}}bek},
title = {The complexity of admissible rules of {\L}ukasiewicz logic},
journal = {J. Log. Comput.},
volume = {23},
number = {3},
pages = {693--705},
year = {2013},
url = {https://doi.org/10.1093/logcom/exs007},
doi = {10.1093/LOGCOM/EXS007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-4912,
author = {Emil Jer{\'{a}}bek},
title = {Rules with parameters in modal logic {I}},
journal = {CoRR},
volume = {abs/1305.4912},
year = {2013},
url = {http://arxiv.org/abs/1305.4912},
eprinttype = {arXiv},
eprint = {1305.4912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-4912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jerabek13,
author = {Emil Jer{\'{a}}bek},
title = {Cluster expansion and the boxdot conjecture},
journal = {CoRR},
volume = {abs/1308.0994},
year = {2013},
url = {http://arxiv.org/abs/1308.0994},
eprinttype = {arXiv},
eprint = {1308.0994},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jerabek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek12,
author = {Emil Jer{\'{a}}bek},
title = {Proofs with monotone cuts},
journal = {Math. Log. Q.},
volume = {58},
number = {3},
pages = {177--187},
year = {2012},
url = {https://doi.org/10.1002/malq.201020071},
doi = {10.1002/MALQ.201020071},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek12a,
author = {Emil Jer{\'{a}}bek},
title = {Sequence encoding without induction},
journal = {Math. Log. Q.},
volume = {58},
number = {3},
pages = {244--248},
year = {2012},
url = {https://doi.org/10.1002/malq.201200013},
doi = {10.1002/MALQ.201200013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Jerabek12,
author = {Emil Jer{\'{a}}bek},
title = {The Ubiquity of conservative Translations},
journal = {Rev. Symb. Log.},
volume = {5},
number = {4},
pages = {666--678},
year = {2012},
url = {https://doi.org/10.1017/S1755020312000226},
doi = {10.1017/S1755020312000226},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Jerabek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jerabek12,
author = {Emil Jer{\'{a}}bek},
title = {Root finding with threshold circuits},
journal = {Theor. Comput. Sci.},
volume = {462},
pages = {59--69},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.09.001},
doi = {10.1016/J.TCS.2012.09.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Jerabek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5835,
author = {Emil Jer{\'{a}}bek},
title = {Sequence encoding without induction},
journal = {CoRR},
volume = {abs/1201.5835},
year = {2012},
url = {http://arxiv.org/abs/1201.5835},
eprinttype = {arXiv},
eprint = {1201.5835},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-5220,
author = {Emil Jer{\'{a}}bek},
title = {Integer factoring and modular square roots},
journal = {CoRR},
volume = {abs/1207.5220},
year = {2012},
url = {http://arxiv.org/abs/1207.5220},
eprinttype = {arXiv},
eprint = {1207.5220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-5220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek11,
author = {Emil Jer{\'{a}}bek},
title = {On theories of bounded arithmetic for NC\({}^{\mbox{1}}\)},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {4},
pages = {322--340},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2010.10.001},
doi = {10.1016/J.APAL.2010.10.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek11a,
author = {Emil Jer{\'{a}}bek},
title = {A sorting network in bounded arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {4},
pages = {341--355},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2010.10.002},
doi = {10.1016/J.APAL.2010.10.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JerabekN11,
author = {Emil Jer{\'{a}}bek and
Phuong Nguyen},
title = {Simulating non-prenex cuts in quantified propositional calculus},
journal = {Math. Log. Q.},
volume = {57},
number = {5},
pages = {524--532},
year = {2011},
url = {https://doi.org/10.1002/malq.201020093},
doi = {10.1002/MALQ.201020093},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JerabekN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-6240,
author = {Emil Jer{\'{a}}bek},
title = {Blending margins},
journal = {CoRR},
volume = {abs/1108.6240},
year = {2011},
url = {http://arxiv.org/abs/1108.6240},
eprinttype = {arXiv},
eprint = {1108.6240},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-6240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-6261,
author = {Emil Jer{\'{a}}bek},
title = {The complexity of admissible rules of Lukasiewicz logic},
journal = {CoRR},
volume = {abs/1108.6261},
year = {2011},
url = {http://arxiv.org/abs/1108.6261},
eprinttype = {arXiv},
eprint = {1108.6261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-6261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-6263,
author = {Emil Jer{\'{a}}bek},
title = {The ubiquity of conservative translations},
journal = {CoRR},
volume = {abs/1108.6263},
year = {2011},
url = {http://arxiv.org/abs/1108.6263},
eprinttype = {arXiv},
eprint = {1108.6263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-6263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3925,
author = {Emil Jer{\'{a}}bek},
title = {Root finding with threshold circuits},
journal = {CoRR},
volume = {abs/1112.3925},
year = {2011},
url = {http://arxiv.org/abs/1112.3925},
eprinttype = {arXiv},
eprint = {1112.3925},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-3925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek10,
author = {Emil Jer{\'{a}}bek},
title = {Admissible Rules of Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {425--447},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp078},
doi = {10.1093/LOGCOM/EXP078},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek10a,
author = {Emil Jer{\'{a}}bek},
title = {Bases of Admissible Rules of Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {20},
number = {6},
pages = {1149--1163},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp082},
doi = {10.1093/LOGCOM/EXP082},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek10,
author = {Emil Jer{\'{a}}bek},
title = {Abelian groups and quadratic residues in weak arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {262--278},
year = {2010},
url = {https://doi.org/10.1002/malq.200910009},
doi = {10.1002/MALQ.200910009},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek09,
author = {Emil Jer{\'{a}}bek},
title = {Substitution Frege and extended Frege proof systems in non-classical
logics},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {1-2},
pages = {1--48},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.10.005},
doi = {10.1016/J.APAL.2008.10.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jerabek09,
author = {Emil Jer{\'{a}}bek},
title = {Approximate counting by hashing in bounded arithmetic},
journal = {J. Symb. Log.},
volume = {74},
number = {3},
pages = {829--860},
year = {2009},
url = {https://doi.org/10.2178/jsl/1245158087},
doi = {10.2178/JSL/1245158087},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jerabek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jerabek09a,
author = {Emil Jer{\'{a}}bek},
title = {Canonical rules},
journal = {J. Symb. Log.},
volume = {74},
number = {4},
pages = {1171--1205},
year = {2009},
url = {https://doi.org/10.2178/jsl/1254748686},
doi = {10.2178/JSL/1254748686},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jerabek09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek09,
author = {Emil Jer{\'{a}}bek},
title = {Proof Complexity of the Cut-free Calculus of Structures},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {323--339},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn054},
doi = {10.1093/LOGCOM/EXN054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Jerabek08,
author = {Emil Jer{\'{a}}bek},
title = {Independent Bases of Admissible Rules},
journal = {Log. J. {IGPL}},
volume = {16},
number = {3},
pages = {249--267},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzn004},
doi = {10.1093/JIGPAL/JZN004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Jerabek08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jerabek07,
author = {Emil Jer{\'{a}}bek},
title = {Complexity of admissible rules},
journal = {Arch. Math. Log.},
volume = {46},
number = {2},
pages = {73--92},
year = {2007},
url = {https://doi.org/10.1007/s00153-006-0028-9},
doi = {10.1007/S00153-006-0028-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Jerabek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/RosslerJ07,
author = {Michal R{\"{o}}ssler and
Emil Jer{\'{a}}bek},
title = {Fragment of Nonstandard Analysis with a Finitary Consistency Proof},
journal = {Bull. Symb. Log.},
volume = {13},
number = {1},
pages = {54--70},
year = {2007},
url = {https://doi.org/10.2178/bsl/1174668218},
doi = {10.2178/BSL/1174668218},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/RosslerJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jerabek07,
author = {Emil Jer{\'{a}}bek},
title = {Approximate counting in bounded arithmetic},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {959--993},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333850},
doi = {10.2178/JSL/1191333850},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jerabek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek07,
author = {Emil Jer{\'{a}}bek},
title = {On Independence of Variants of the Weak Pigeonhole Principle},
journal = {J. Log. Comput.},
volume = {17},
number = {3},
pages = {587--604},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm017},
doi = {10.1093/LOGCOM/EXM017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek06,
author = {Emil Jer{\'{a}}bek},
title = {Frege systems for extensible modal logics},
journal = {Ann. Pure Appl. Log.},
volume = {142},
number = {1-3},
pages = {366--379},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2006.04.001},
doi = {10.1016/J.APAL.2006.04.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek06,
author = {Emil Jer{\'{a}}bek},
title = {The strength of sharply bounded induction},
journal = {Math. Log. Q.},
volume = {52},
number = {6},
pages = {613--624},
year = {2006},
url = {https://doi.org/10.1002/malq.200610019},
doi = {10.1002/MALQ.200610019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Jerabek05,
author = {Emil Jer{\'{a}}bek},
title = {Admissible Rules of Modal Logics},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {411--431},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi029},
doi = {10.1093/LOGCOM/EXI029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Jerabek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jerabek04,
author = {Emil Jer{\'{a}}bek},
title = {Dual weak pigeonhole principle, Boolean complexity, and derandomization},
journal = {Ann. Pure Appl. Log.},
volume = {129},
number = {1-3},
pages = {1--37},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.12.003},
doi = {10.1016/J.APAL.2003.12.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Jerabek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jeabek04,
author = {Emil Jer{\'{a}}bek},
title = {A note on Grzegorczyk's logic},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {295--296},
year = {2004},
url = {https://doi.org/10.1002/malq.200310094},
doi = {10.1002/MALQ.200310094},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jeabek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-28 03:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
