1008 search results - page 38 / 202 » Canonicity! |
88
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
107
click to vote
ECMDAFA
2006
Springer
15 years 6 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...
110
click to vote
CADE
1998
Springer
15 years 6 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...
CADE
2008
Springer
15 years 4 months ago
2008
Springer