Truth in V for E*AA-sentences is decidable

Authors
Publication date
1 January 2006
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio istituzionale della ricerca - Università degli Studi di Udine

    redirect
    oaioai:air.uniud.it:11390/713292
    Last time updated on 12/11/2016