3624 search results - page 106 / 725 » Abstract Algebraic Logic |
130
click to vote
MST
2008
15 years 4 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
150
Voted
CASC
2010
Springer
15 years 3 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
146
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
126
click to vote
DIAGRAMS
2006
Springer
15 years 8 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
147
Voted
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...