By Olivetti N.   in Studia Logica

ISSN:0039-3215|73|1|81-111

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 14.657314

By Mundici D.   Olivetti N.   in Theoretical Computer Science

ISSN:0304-3975|200|1|335-366

Elsevier‎(1998)‎

Access to resources Favorite 11.393461

By Gabbay D.M.   Olivetti N.   in Studia Logica

ISSN:0039-3215|61|2|237-280

Springer Publishing Company ‎(1998)‎

Access to resources Favorite 10.592511

By Giordano L.   Gliozzi V.   Olivetti N.   in Studia Logica

ISSN:0039-3215|70|1|23-47

Springer Publishing Company ‎(2002)‎

Access to resources Favorite 8.960585

By Gabbay D.   Giordano L.   Martelli A.   Olivetti N.   Sapino M.L.   in The Journal of Logic Programming

ISSN:0743-1066|44|1|37-74

Elsevier‎(2000)‎

Access to resources Favorite 7.328657