Sciweavers

5499 search results - page 36 / 1100
» Generalized Rewrite Theories
Sort
View
CALCO
2005
Springer
93views Mathematics» more  CALCO 2005»
14 years 1 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
14 years 26 days ago
Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
Michael V. Falaleev, Olga A. Romanova, Nicholas A....