Sciweavers

5499 search results - page 36 / 1100
» Generalized Rewrite Theories
Sort
View
CALCO
2005
Springer
93views Mathematics» more  CALCO 2005»
15 years 5 months ago
Labels from Reductions: Towards a General Theory
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
ICCS
2003
Springer
15 years 5 months ago
Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
Michael V. Falaleev, Olga A. Romanova, Nicholas A....