Sciweavers

    8512 search results - page 113 / 1703
    » Computing Theory With Relevance
    Sort
    View
    LICS
    2003
    IEEE
    85views Automated Reasoning» more  LICS 2003»
    A Proof Theory for Generic Judgments: An extended abstract
    15 years 11 months ago
    A Proof Theory for Generic Judgments: An extended abstract
    Download  www.lix.polytechnique.fr
    Dale Miller, Alwen Fernanto Tiu
    claim paper
    Read More »
    FOSSACS
    2003
    Springer
    85views Software Engineering» more  FOSSACS 2003»
    Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
    15 years 11 months ago
    Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
    Download  users.ecs.soton.ac.uk
    Matthew Hennessy, Massimo Merro, Julian Rathke
    claim paper
    Read More »
    ICALP
    2003
    Springer
    63views Programming Languages» more  ICALP 2003»
    Generalized Rewrite Theories
    15 years 11 months ago
    Generalized Rewrite Theories
    Download  formal.cs.uiuc.edu
    Roberto Bruni, José Meseguer
    claim paper
    Read More »
    ICCS
    2003
    Springer
    87views Applied Computing» more  ICCS 2003»
    Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
    15 years 11 months ago
    Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
    Download  matan.isu.ru
    Michael V. Falaleev, Olga A. Romanova, Nicholas A....
    claim paper
    Read More »
    MFCS
    1990
    Springer
    72views Theoretical Computer Science» more  MFCS 1990»
    One-Way Functions in Complexity Theory
    15 years 10 months ago
    One-Way Functions in Complexity Theory
    Download  reference.kfupm.edu.sa
    We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
    Alan L. Selman
    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.