Results 261 to 270 of about 5,519,461 (276)
Some of the next articles are maybe not open access.
2002
The purpose of this chapter is to prove the decidability of monadic second-order logic over infinite words and infinite binary trees, denoted S1S and S2S. It is organized as follows.
openaire +1 more source
The purpose of this chapter is to prove the decidability of monadic second-order logic over infinite words and infinite binary trees, denoted S1S and S2S. It is organized as follows.
openaire +1 more source
Repairs of oscillographs S1-19, S1-19A, and S1-19B
Measurement Techniques, 1973openaire +1 more source
JDDG: Journal der Deutschen Dermatologischen Gesellschaft, 2013
Markus, Reinholz +9 more
openaire +2 more sources
Markus, Reinholz +9 more
openaire +2 more sources
Relative reinforcement effects: S1/S2 and S1/S1 paradigms in instrumental conditioning.
Psychological Review, 1970openaire +1 more source

