Search Sciweavers | Sciweavers

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 »

click to vote

STOC
1999
ACM

75views Algorithms» more STOC 1999»

Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes

15 years 8 months ago

Download www.math.ucsd.edu

Samuel R. Buss, Dima Grigoriev, Russell Impagliazz...

claim paper

Read More »

105

click to vote

ADBIS
1999
Springer

87views Database» more ADBIS 1999»

Compositional Specification Calculus for Information Systems Development

15 years 8 months ago

Download synthesis.ipi.ac.ru

Leonid A. Kalinichenko

claim paper

Read More »

108

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers