Picture for Viorica Sofronie-Stokkermans

Viorica Sofronie-Stokkermans

On First-Order Model-Based Reasoning

Add code
Jul 31, 2015
Figure 1 for On First-Order Model-Based Reasoning
Figure 2 for On First-Order Model-Based Reasoning
Viaarxiv icon

On combinations of local theory extensions

Add code
Oct 15, 2008
Viaarxiv icon