4767 search results - page 134 / 954 » Structures for Abstract Rewriting |
133
click to vote
IICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract: The article presents a model of the structural properties of virtual communities and the information they can access. It argues that a large part of the information – a...
84
Voted
SCHOLARPEDIA
2008
15 years 1 months ago
2008
ABSTRACT. We give a proof of the Sharkovsky Theorem that is selfcontained, short and direct and that illuminates the doubling structure of the Sharkovsky ordering.
115
click to vote
AFP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
233
click to vote
ICDE
2002
IEEE
16 years 3 months ago
2002
IEEE
As Web applications manipulate an increasing amount of XML, there is a growing interest in storing XML data in relational databases. Due to the mismatch between the complexity of ...