CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Prodotti recenti

The rank function and Hilbert's II -theorem

A new proof of an extended version of Hilbert's second epsilon theorem is provided by means of a new, more suitable definition of rank of an expression.

A note on a proof of Hilbert's II -theorem

An error is corrected in a proof of an extension of Hilbert's second epsilon theorem

Axiomatic theory of enumeration: a note on the axiom of extensionality

The compatibility between extensionality and the shifting axiom is studied within a range of weak axiomatic systems.

CINECA IRIS Institutional Research Information System

Prodotti recenti

The rank function and Hilbert's II -theorem

A note on a proof of Hilbert's II -theorem

Axiomatic theory of enumeration: a note on the axiom of extensionality

L-15 drives the specific migration of CD94+ and TCR-gammadelta+ intraepithelial lymphocytes in organ cultures of treated celiac patients.

Sturge-Weber disease without facial nevus

Scopri