Sciweavers

180

Voted

APAL
2011

190views Software Engineering» more APAL 2011»

15 years 16 days 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 »