JournalspmVol. 70, No. 4Volume 70, No. 4 (2013) Portugaliae Mathematicapp. 295–318Bounded theories for polyspace computabilityRicardo BianconiGilda FerreiraEmmanuel SilvaDOI 10.4171/PM/1936pp. 319–344A low-order approximation for viscous-capillary phase transition dynamicsPatrick EngelAdrian ViorelChristian RohdeDOI 10.4171/PM/1937
pp. 295–318Bounded theories for polyspace computabilityRicardo BianconiGilda FerreiraEmmanuel SilvaDOI 10.4171/PM/1936
pp. 319–344A low-order approximation for viscous-capillary phase transition dynamicsPatrick EngelAdrian ViorelChristian RohdeDOI 10.4171/PM/1937