4592 search results - page 4 / 919 » Framework for Studying Substitution |
JCC
2006
13 years 7 months ago
2006
![A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/a_theoretical_study_of_thermal_1_3_sigmatropic_rearrangements_of_3_trimethylsilyl_1_pyrazoline_concerted_vs_stepwise_mechanisms_JCC_2006.jpg "A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan")
Abstract: Possible reaction mechanisms of 1,3-silyl and 1,3-hydrogen thermal rearrangements of trimethylsilyl-1pyrazoline and its model systems were theoretically explored using B3...
INTERACT
2007
13 years 9 months ago
2007
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
LISP
2006
13 years 7 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
AISB
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...