3 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Serge Autexier, Dieter Hutter
Structuring theories is one of the main approaches to reduce the combinatorial explosion associated with reasoning and exploring large theories. In the past we developed the notion…