MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
University of Illinois at Urbana Champaign
Urbana, Estados UnidosPublications en collaboration avec des chercheurs de University of Illinois at Urbana Champaign (1)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352