Sciweavers

    2272 search results - page 140 / 455
    » A Calculus for
    Sort
    View
    BIRTHDAY
    2000
    Springer
    92views Applied Computing» more  BIRTHDAY 2000»
    A calculus of communicating systems with label passing - ten years after
    15 years 11 months ago
    A calculus of communicating systems with label passing - ten years after
    Download  www.evernote.com
    Uffe Engberg, Mogens Nielsen
    claim paper
    Read More »
    CONCUR
    2000
    Springer
    94views Distributed And Parallel Com...» more  CONCUR 2000»
    Chi Calculus with Mismatch
    15 years 11 months ago
    Chi Calculus with Mismatch
    Download  basics.sjtu.edu.cn
    The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
    Yuxi Fu, Zhenrong Yang
    claim paper
    Read More »
    STOC
    1999
    ACM
    75views Algorithms» more  STOC 1999»
    Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes
    15 years 10 months ago
    Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes
    Download  www.math.ucsd.edu
    Samuel R. Buss, Dima Grigoriev, Russell Impagliazz...
    claim paper
    Read More »
    ADBIS
    1999
    Springer
    87views Database» more  ADBIS 1999»
    Compositional Specification Calculus for Information Systems Development
    15 years 10 months ago
    Compositional Specification Calculus for Information Systems Development
    Download  synthesis.ipi.ac.ru
    Leonid A. Kalinichenko
    claim paper
    Read More »
    LICS
    1999
    IEEE
    95views Automated Reasoning» more  LICS 1999»
    Region Analysis and the Polymorphic Lambda Calculus
    15 years 10 months ago
    Region Analysis and the Polymorphic Lambda Calculus
    Download  www.cs.ucla.edu
    Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    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.