Sciweavers

Lifting non-finite axiomatizability results to extensions of process algebras
Recent countries visiting this post
Lifting non-finite axiomatizability results to extensions of process algebras
us3United States
ru3Russian Federation