Sciweavers

23201 search results - page 58 / 4641
» Rewriting Systems with Data
Sort
View
73
Voted
AIEDAM
2002
75views more  AIEDAM 2002»
15 years 21 days ago
Product family modeling and design support: An approach based on graph rewriting systems
Xuehong Du, Jianxin Jiao, Mitchell M. Tseng
48
Voted
ML
2007
ACM
15 years 9 days ago
LARS: A learning algorithm for rewriting systems
Rémi Eyraud, Colin de la Higuera, Jean-Chri...
61
Voted
IPL
2010
57views more  IPL 2010»
14 years 11 months ago
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Masahiko Sakai, Mizuhito Ogawa