Sciweavers

    TCS
    2011
    160views Theoretical Computer Science» more  TCS 2011»
    A linear algorithm for MLL proof net correctness and sequentialization
    12 years 11 months ago
    A linear algorithm for MLL proof net correctness and sequentialization
    Download  twiki.di.uniroma1.it
    Stefano Guerrini
    claim paper
    Read More »
    TCS
    2011
    162views Theoretical Computer Science» more  TCS 2011»
    Intuitionistic differential nets and lambda-calculus
    12 years 11 months ago
    Intuitionistic differential nets and lambda-calculus
    Download  www.cirm.univ-mrs.fr
    Paolo Tranquilli
    claim paper
    Read More »
    TCS
    2011
    163views Theoretical Computer Science» more  TCS 2011»
    Aspects of predicative algebraic set theory, II: Realizability
    12 years 11 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 »
    TCS
    2011
    178views Theoretical Computer Science» more  TCS 2011»
    Correctness of linear logic proof structures is NL-complete
    12 years 11 months ago
    Correctness of linear logic proof structures is NL-complete
    Download  hal.archives-ouvertes.fr
    We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
    Paulin Jacobé de Naurois, Virgile Mogbil
    claim paper
    Read More »
    TCS
    2011
    155views Theoretical Computer Science» more  TCS 2011»
    Musings around the geometry of interaction, and coherence
    12 years 11 months ago
    Musings around the geometry of interaction, and coherence
    Download  www.lsv.ens-cachan.fr
    We introduce the Danos-Régnier category
    Jean Goubault-Larrecq
    claim paper
    Read More »
    TCS
    2011
    163views Theoretical Computer Science» more  TCS 2011»
    Realizability models and implicit complexity
    12 years 11 months ago
    Realizability models and implicit complexity
    Download  perso.ens-lyon.fr
    New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
    Ugo Dal Lago, Martin Hofmann
    claim paper
    Read More »
    TCS
    2011
    166views Theoretical Computer Science» more  TCS 2011»
    A semantic measure of the execution time in linear logic
    12 years 11 months ago
    A semantic measure of the execution time in linear logic
    Download  www-lipn.univ-paris13.fr
    We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
    Daniel de Carvalho, Michele Pagani, Lorenzo Tortor...
    claim paper
    Read More »
    TCS
    2011
    143views Theoretical Computer Science» more  TCS 2011»
    Computational ludics
    12 years 11 months ago
    Computational ludics
    Download  www.kurims.kyoto-u.ac.jp
    Kazushige Terui
    claim paper
    Read More »
    TCS
    2011
    179views Theoretical Computer Science» more  TCS 2011»
    Bitonic sorters of minimal depth
    12 years 11 months ago
    Bitonic sorters of minimal depth
    Download  www.cs.technion.ac.il
    Building on previous works, this paper establishes that the minimal depth of a Bitonic sorter of n keys is 2 log(n) − log(n) .
    Tamir Levi, Ami Litman
    claim paper
    Read More »
    TCS
    2011
    132views Theoretical Computer Science» more  TCS 2011»
    Local 7-coloring for planar subgraphs of unit disk graphs
    12 years 11 months ago
    Local 7-coloring for planar subgraphs of unit disk graphs
    Download  people.scs.carleton.ca
    Jurek Czyzowicz, Stefan Dobrev, H. González...
    claim paper
    Read More »
    « first‹ previous12345next ›last »
    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.