Sciweavers

    1423 search results - page 8 / 285
    » Quantum logic as a dynamic logic
    Sort
    View
    JSYML
    2000
    110views more  JSYML 2000»
    Basic Logic: Reflection, Symmetry, Visibility
    14 years 11 months ago
    Basic Logic: Reflection, Symmetry, Visibility
    Download  www.math.unipd.it
    We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
    Giovanni Sambin, Giulia Battilotti, Claudia Faggia...
    claim paper
    Read More »
    IPL
    2006
    120views more  IPL 2006»
    Propositional dynamic logic of context-free programs and fixpoint logic with chop
    14 years 11 months ago
    Propositional dynamic logic of context-free programs and fixpoint logic with chop
    Download  www2.tcs.ifi.lmu.de
    This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
    Martin Lange, Rafal Somla
    claim paper
    Read More »
    EUSFLAT
    2009
    206views Fuzzy Logic» more  EUSFLAT 2009»
    A Fuzzy Delay Differential Equation Model for HIV Dynamics
    14 years 9 months ago
    A Fuzzy Delay Differential Equation Model for HIV Dynamics
    Download  www.eusflat.org
    Rosana Motta Jafelice, Laécio C. Barros, Ro...
    claim paper
    Read More »
    JANCL
    2008
    133views more  JANCL 2008»
    Modal logic and invariance
    14 years 11 months ago
    Modal logic and invariance
    Download  www.illc.uva.nl
    Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
    Johan van Benthem, Denis Bonnay
    claim paper
    Read More »
    GLVLSI
    2003
    IEEE
    152views VLSI» more  GLVLSI 2003»
    Dynamic single-rail self-timed logic structures for power efficient synchronous pipelined designs
    15 years 5 months ago
    Dynamic single-rail self-timed logic structures for power efficient synchronous pipelined designs
    Download  www.imd.uni-rostock.de
    The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
    Frank Grassert, Dirk Timmermann
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.