Sciweavers

    5608 search results - page 9 / 1122
    » On the Theory of Matchgate Computations
    Sort
    View
    TPHOL
    1996
    IEEE
    76views Automated Reasoning» more  TPHOL 1996»
    Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions
    15 years 3 months ago
    Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions
    Download  www.cogs.susx.ac.uk
    We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
    Bernhard Reus
    claim paper
    Read More »
    BIRTHDAY
    2010
    Springer
    119views Applied Computing» more  BIRTHDAY 2010»
    On Monadic Theories of Monadic Predicates
    14 years 9 months ago
    On Monadic Theories of Monadic Predicates
    Download  www-i7.informatik.rwth-aachen.de
    Pioneers of logic, among them J.R. B
    Wolfgang Thomas
    claim paper
    Read More »
    JDCTA
    2010
    228views more  JDCTA 2010»
    Research and Progress of Cluster Algorithms based on Granular Computing
    14 years 6 months ago
    Research and Progress of Cluster Algorithms based on Granular Computing
    Download  www.aicit.org
    Granular Computing (GrC), a knowledge-oriented computing which covers the theory of fuzzy information granularity, rough set theory, the theory of quotient space and interval comp...
    Shifei Ding, Li Xu, Hong Zhu, Liwen Zhang
    claim paper
    Read More »
    IDC
    2009
    Springer
    172views Distributed And Parallel Com...» more  IDC 2009»
    Case-Study for TeamLog, a Theory of Teamwork
    14 years 9 months ago
    Case-Study for TeamLog, a Theory of Teamwork
    Download  www.rinekeverbrugge.nl
    Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Sl...
    claim paper
    Read More »
    TCS
    2011
    163views Theoretical Computer Science» more  TCS 2011»
    Aspects of predicative algebraic set theory, II: Realizability
    14 years 6 months ago
    Aspects of predicative algebraic set theory, II: Realizability
    Download  www.phil.cmu.edu
    Benno van den Berg, Ieke Moerdijk
    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.