vix.ing · top · new · best · stats · spec

Onay, Gönenç

  1. Quantifier Elimination for Valued Fields Equipped with an Automorphism
    2013/09/23 by Onay, Gönenç, Durhan, Salih · 1 citation
    #03C60 #12L12 #FOS: Mathematics #Logic (math.LO)