Sciweavers

188

Voted

APAL
2011

190views Software Engineering» more APAL 2011»

15 years 1 months ago

We develop the theory of domination by stable types and stable weight in an arbitrary theory.

Alf Onshuus, Alexander Usvyatsov

claim paper

Read More »