rosser

n.

伐木工人；

Church-Rosser Thue systems and formal languages
A mechanical proof of the Church-Rosser theorem
On the Church-Rosser property for the direct sum of term rewriting systems
Tree-manipulating systems and Church-Rosser Theorems
The Kleene-Rosser Paradox, The Liar's Paradox & A Fuzzy Logic Programming Paradox Imply SAT is (NOT) NP-complete
Extensions of some Theorems of G?del and Church by Barkley Rosser
Cox (Rosser), M.L. (2011). Cultural Responsiveness and Motivation in Preparing Teachers, LAP Lambert Academic Publishing AG & Co KG
Toyama, Y.: On the Church-Rosser property for the direct sum of term rewriting systems. Journal of the ACM 34(1), 128-143
The Science Glass Ceiling: Academic Women Scientists and the Struggle to Succeed by Sue V. Rosser
From Catastrophe to Chaos: a general theory of economic discontinuities : J. Barkley Rosser, Jr. 1991, Kluwer, Dordrecht, 402 pp., I...