Sciweavers

4767 search results - page 49 / 954
» Structures for Abstract Rewriting
Sort
View
ENTCS
2007
69views more  ENTCS 2007»
15 years 2 months ago
Bi-inductive Structural Semantics: (Extended Abstract)
Patrick Cousot, Radhia Cousot