Sciweavers

    65 search results - page 1 / 13
    » logcom 2006
    Sort
    View
    94
    Voted
    LOGCOM
    2006
    50views more  LOGCOM 2006»
    An Independence Result for Intuitionistic Bounded Arithmetic
    15 years 2 months ago
    An Independence Result for Intuitionistic Bounded Arithmetic
    Download  math.ipm.ac.ir
    Morteza Moniri
    claim paper
    Read More »
    95
    Voted
    LOGCOM
    2000
    63views more  LOGCOM 2000»
    Similarity relations in concept lattices
    15 years 2 months ago
    Similarity relations in concept lattices
    Download  irafm.osu.cz
    Radim Belohlávek
    claim paper
    Read More »
    87
    Voted
    LOGCOM
    2000
    60views more  LOGCOM 2000»
    A linearization of the Lambda-calculus and consequences
    15 years 2 months ago
    A linearization of the Lambda-calculus and consequences
    Download  www.church-project.org
    A. J. Kfoury
    claim paper
    Read More »
    78
    Voted
    LOGCOM
    2002
    68views more  LOGCOM 2002»
    µ-Calculus with Explicit Points and Approximations
    15 years 2 months ago
    µ-Calculus with Explicit Points and Approximations
    Download  www.csc.kth.se
    Mads Dam, Dilian Gurov
    claim paper
    Read More »
    103
    Voted
    LOGCOM
    2002
    69views more  LOGCOM 2002»
    Continuous Additive Algebras and Injective Simulations of Synchronization Trees
    15 years 2 months ago
    Continuous Additive Algebras and Injective Simulations of Synchronization Trees
    Download  www.brics.dk
    Zoltán Ésik
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.