Sciweavers

2586 search results - page 16 / 518
» Automatic Abstraction for Congruences
Sort
View
125
Voted
AIPS
2004
15 years 8 months ago
Using Component Abstraction for Automatic Generation of Macro-Actions
Adi Botea, Martin Müller 0003, Jonathan Schae...