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)
    15 years 8 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 »
    110
    Voted
    CADE
    2004
    Springer
    114views Logical Reasoning» more  CADE 2004»
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract
    16 years 4 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 »
    127
    Voted
    CCA
    2009
    Springer
    100views Theoretical Computer Science» more  CCA 2009»
    On the Computability of Rectifiable Simple Curve (Extended Abstract)
    15 years 7 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 »
    92
    Voted
    ENTCS
    2002
    66views more  ENTCS 2002»
    Unique, guarded fixed points in an additive setting: Extended Abstract
    15 years 3 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)
    15 years 10 months 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
    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.