Sciweavers

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