Studying equivalences of transition systems with algebraic tools

By Malacaria P.  

Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. : 187-205

Elsevier

Access to resources Recommend Favorite

Counting with range concatenation grammars

By Boullier P.  

Theoretical Computer Science, Vol. 293, Iss. 2, 2003-02 ,pp. : 391-416

Elsevier

Access to resources Recommend Favorite

Simultaneous Elimination by using Several Tools from Real Algebraic Geometry

By Gonzalez-Vega L.   Gonzalez-Campos N.  

Journal of Symbolic Computation, Vol. 28, Iss. 1, 1999-07 ,pp. : 89-103

Academic Press

Access to resources Recommend Favorite

Long words: the theory of concatenation and -power

By Bloom  

Theoretical Computer Science, Vol. 259, Iss. 1, 2001-05 ,pp. : 533-548

Elsevier

Access to resources Recommend Favorite

Product design enhancement by integration of virtual design and assembly analysis tools

By Choi Albert C.K.   Guda Prasanthi  

Assembly Automation, Vol. 20, Iss. 4, 2000-04 ,pp. : 283-290

Emerald Group Publishing Ltd

Access to resources Recommend Favorite