Multisets and structural congruence of the pi-calculus with replication

By Engelfriet J.   Gelsema T.  

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 311-337

Elsevier

Access to resources Recommend Favorite

A new natural structural congruence in the pi-calculus with replication

By Engelfriet Joost   Gelsema Tjalling  

Acta Informatica, Vol. 40, Iss. 6-7, 2004-05 ,pp. : 385-430

Springer Publishing Company

Access to resources Recommend Favorite

Some combinatorial aspects of congruence lattice representations

By Gratzer G.   Schmidt E.T.  

Theoretical Computer Science, Vol. 217, Iss. 2, 1999-04 ,pp. : 291-300

Elsevier

Access to resources Recommend Favorite

Some Techniques for Proving Termination of the Hyperresolution Calculus

By Peltier N.  

Journal of Automated Reasoning, Vol. 35, Iss. 4, 2005-11 ,pp. : 391-427

Springer Publishing Company

Access to resources Recommend Favorite

Some remarks on properties for choice functions

By Lahiri S.  

Annals of Operations Research, Vol. 97, Iss. 1-4, 2000-01 ,pp. : 45-53

Springer Publishing Company

Access to resources Recommend Favorite