Search results
Acta Mathematica Hungarica > 2019 > 159 > 1 > 265-286
Journal of Symbolic Computation > 2018 > 85 > C > 148-169
Formalized Mathematics > 2017 > 25 > 1 > 39-48
Journal of Number Theory > 2016 > 164 > C > 269-281
Theoretical Computer Science > 2016 > 611 > Complete > 116-135
Monatshefte für Mathematik > 2017 > 182 > 1 > 33-38
Lithuanian Mathematical Journal > 2015 > 55 > 2 > 193-206
Frontiers of Mathematics in China > 2014 > 9 > 2 > 425-430
Organon F. medzinárodný časopis pre analytickú filozofiu > 2010 > 17 > 1 > 53-69
Science China Mathematics > 2009 > 52 > 1 > 66-76
Acta Mathematica Sinica, English Series > 2007 > 23 > 10 > 1897-1902
Mathematical Notes > 2005 > 78 > 3-4 > 304-319
Lithuanian Mathematical Journal > 2001 > 41 > 4 > 330-343
Computer Physics Communications > 2000 > 126 > 1-2 > 51-56