Showing 1 - 2 results of 2 for search 'Viorica Sofronie-Stokkermans', query time: 0.02s Refine Results
  1. 1
    Interpolation in local theory extensions

    Interpolation in local theory extensions by Viorica Sofronie-Stokkermans

    Published 2008-10-01
    Get full text
    Article
  2. 2
    On Interpolation and Symbol Elimination in Theory Extensions

    On Interpolation and Symbol Elimination in Theory Extensions by Viorica Sofronie-Stokkermans

    Published 2018-09-01
    Get full text
    Article

Search Tools: