Sciweavers

    108 search results - page 1 / 22
    » iandc 2006
    Sort
    View
    IANDC
    2007
    52views more  IANDC 2007»
    A general lock-free algorithm using compare-and-swap
    15 years 2 months ago
    A general lock-free algorithm using compare-and-swap
    Download  dissertations.ub.rug.nl
    Hui Gao, Wim H. Hesselink
    claim paper
    Read More »
    IANDC
    2007
    77views more  IANDC 2007»
    One-unambiguity of regular expressions with numeric occurrence indicators
    15 years 2 months ago
    One-unambiguity of regular expressions with numeric occurrence indicators
    Download  www.cs.uku.fi
    Pekka Kilpeläinen, Rauno Tuhkanen
    claim paper
    Read More »
    IANDC
    2007
    74views more  IANDC 2007»
    Fast congruence closure and extensions
    15 years 2 months ago
    Fast congruence closure and extensions
    Download  www.lsi.upc.es
    Robert Nieuwenhuis, Albert Oliveras
    claim paper
    Read More »
    IANDC
    2007
    85views more  IANDC 2007»
    Nominal rewriting
    15 years 2 months ago
    Nominal rewriting
    Download  www.dcs.kcl.ac.uk
    Maribel Fernández, Murdoch Gabbay
    claim paper
    Read More »
    IANDC
    2007
    76views more  IANDC 2007»
    Controlling information release in the pi-calculus
    15 years 2 months ago
    Controlling information release in the pi-calculus
    Download  www.dsi.unive.it
    Silvia Crafa, Sabina Rossi
    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.