A Partition Refinement Algorithm for the π-Calculus

By Pistore M.   Sangiorgi D.  

Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. : 264-321

Academic Press

Access to resources Recommend Favorite

Crossword Puzzle: π₁ ≅ Z ⊕ Z

By  

The College Mathematics Journal, Vol. 40, Iss. 3, 2009-05 ,pp. : 212-212

Mathematical Association of America

Access to resources Recommend Favorite

A comprehensive model for the I –V characteristics of metal-Ta ₂ O ₅ /SiO ₂ -Si structures

By Novkovski N.   Atanassova E.  

Applied Physics A, Vol. 83, Iss. 3, 2006-06 ,pp. : 435-445

Springer Publishing Company

Access to resources Recommend Favorite

Perpetual Reductions in λ-Calculus

By van Raamsdonk F.   Severi P.   Sørensen M.H.B.   Xi H.  

Information and Computation, Vol. 149, Iss. 2, 1999-03 ,pp. : 173-225

Academic Press

Access to resources Recommend Favorite

Randomized Sorting in O(n log log n) Time and Linear Space Using Addition, Shift, and Bit-wise Boolean Operations

By Thorup M.  

Journal of Algorithms, Vol. 42, Iss. 2, 2002-02 ,pp. : 205-230

Academic Press

Access to resources Recommend Favorite