1008 search results - page 38 / 202 » Canonicity! |
150
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
138
Voted
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...