Sciweavers

    284 search results - page 14 / 57
    » On Reversible Combinatory Logic
    Sort
    View
    DATE
    2004
    IEEE
    114views Hardware» more  DATE 2004»
    Synthesis of Reversible Logic
    15 years 10 months ago
    Synthesis of Reversible Logic
    Download  web.cecs.pdx.edu
    Abhinav Agrawal, Niraj K. Jha
    claim paper
    Read More »
    MCU
    2001
    79views Hardware» more  MCU 2001»
    A Simple Universal Logic Element and Cellular Automata for Reversible Computing
    15 years 7 months ago
    A Simple Universal Logic Element and Cellular Automata for Reversible Computing
    Download  www.iec.hiroshima-u.ac.jp
    Kenichi Morita
    claim paper
    Read More »
    ISMVL
    2010
    IEEE
    140views Hardware» more  ISMVL 2010»
    Efficient Simulation-Based Debugging of Reversible Logic
    15 years 5 months ago
    Efficient Simulation-Based Debugging of Reversible Logic
    Download  www.informatik.uni-bremen.de
    Stefan Frehse, Robert Wille, Rolf Drechsler
    claim paper
    Read More »
    BSL
    2010
    100views Information Technology» more  BSL 2010»
    Reverse mathematics: the playground of logic
    15 years 3 months ago
    Reverse mathematics: the playground of logic
    Download  www.math.cornell.edu
    Richard A. Shore
    claim paper
    Read More »
    IJAIT
    2006
    104views more  IJAIT 2006»
    Logic of Determination of Objects: the Meaning of Variable in Quantification
    15 years 6 months ago
    Logic of Determination of Objects: the Meaning of Variable in Quantification
    Download  www.aaai.org
    This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
    Jean-Pierre Desclés, Anca Pascu
    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.