Sciweavers

Share
BIRTHDAY
2005
Springer
9 years 2 months ago
Reducing Right-Hand Sides for Termination
We propose two transformations on term rewrite systems (TRSs) based on reducing right hand sides: one related to the transformation order and a variant of dummy elimination. Under ...
Hans Zantema
BIRTHDAY
2005
Springer
9 years 2 months ago
Overview on Decentralized Establishment of Multi-lateral Collaborations
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
Andreas Wombacher
BIRTHDAY
2005
Springer
9 years 2 months ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson
BIRTHDAY
2005
Springer
9 years 2 months ago
Reduction Strategies for Left-Linear Term Rewriting Systems
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
Yoshihito Toyama
BIRTHDAY
2005
Springer
9 years 2 months ago
On Neighbourhood Semantics 30 years later
Valentin B. Shehtman
BIRTHDAY
2005
Springer
9 years 2 months ago
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the noninjective case leads to ambiguous results. Taking into...
Hans Jürgen Schneider
BIRTHDAY
2005
Springer
9 years 2 months ago
Graph Transformation in Molecular Biology
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
Francesc Rosselló, Gabriel Valiente
BIRTHDAY
2005
Springer
9 years 2 months ago
Loose Semantics of Petri Nets
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
Julia Padberg, Hans-Jörg Kreowski
books