(1 - 6 from 6
)
Campus Event Calendar: Philipp Ruemmer ( in E )
mikado.mpi-inf.mpg.de
What and Who. Title: Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays. Speaker: Philipp Ruemmer. coming from: Department of Information Technology, Uppsala University. Speakers Bio: Event Type: Talk. Visibility: D1, D2, D3, D4, D5, SWS, RG1, MMCI We use this to send out email ...
sorted by relevance / date