3552 search results - page 166 / 711 » Proof theory in the abstract |
175
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. For organizations to flourish in a changing environment, their business processes need to be flexible. Designing flexible business processes is a challenge. We use Weick&...
138
click to vote
RIVF
2007
15 years 7 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
176
click to vote
INTERFACES
2008
15 years 6 months ago
2008
re more abstract than necessary. They depend on assumptions that are highly unlikely to occur in practical situations, which are often less formal and rigid. Nonetheless, we discus...
128
click to vote
JSYML
1998
15 years 6 months ago
1998
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
144
click to vote
ISRR
2005
Springer
15 years 12 months ago
2005
Springer
d a human. The meta proto-symbols are a little more abstract analogy of the proto-symbols and recognize/generate the relationship of the two. A hypothesis is then proposed as the p...