Sciweavers

    736 search results - page 4 / 148
    » A Science of Reasoning (Extended Abstract)
    Sort
    View
    FOCS
    1993
    IEEE
    72views Theoretical Computer Science» more  FOCS 1993»
    Parallel computable higher type functionals (Extended Abstract)
    13 years 10 months ago
    Parallel computable higher type functionals (Extended Abstract)
    Download  www.cse.unsw.edu.au
    d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
    Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...
    claim paper
    Read More »
    CADE
    2004
    Springer
    114views Logical Reasoning» more  CADE 2004»
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract
    14 years 6 months ago
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract
    Download  users.info.unicaen.fr
    Àngel J. Gil, Bruno Zanuttini, Gernot Salze...
    claim paper
    Read More »
    CCA
    2009
    Springer
    100views Theoretical Computer Science» more  CCA 2009»
    On the Computability of Rectifiable Simple Curve (Extended Abstract)
    13 years 10 months ago
    On the Computability of Rectifiable Simple Curve (Extended Abstract)
    Download  drops.dagstuhl.de
    d Abstract) Robert Rettinger1 and Xizhong Zheng2,3 1 Lehrgebiet Algorithmen und Komplexit
    Robert Rettinger, Xizhong Zheng
    claim paper
    Read More »
    ENTCS
    2002
    66views more  ENTCS 2002»
    Unique, guarded fixed points in an additive setting: Extended Abstract
    13 years 5 months ago
    Unique, guarded fixed points in an additive setting: Extended Abstract
    Download  www.cs.stevens.edu
    Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
    Stephen L. Bloom, Zoltán Ésik
    claim paper
    Read More »
    ICALP
    2007
    Springer
    94views Programming Languages» more  ICALP 2007»
    Categorical Views on Computations on Trees (Extended Abstract)
    14 years 5 days ago
    Categorical Views on Computations on Trees (Extended Abstract)
    Download  basics.sjtu.edu.cn
    Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
    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-2024, USA.