GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION von ARAI, TOSHIYASU, WAINER, STANLEY S., WEIERMANN, ANDREAS

Volltext

Accessible Recursive Functions von Wainer, Stanley S.

Volltext

Inductive definitions over a predicative arithmetic von Wainer, Stanley S., Williams, Richard S.

Volltext

Pointwise Transfinite Induction and a Miniaturized Predicativity von Wainer, Stanley S.

Volltext

Tiered Arithmetics von Schwichtenberg, Helmut, Wainer, Stanley S.

Volltext

The hierarchy of terminating recursive programs over N von Wainer, Stanley S.

Volltext

Program transformation and proof transformation von Sieg, Wilfried, Wainer, Stanley S.

Volltext

Chapter III Hierarchies of provably recursive functions von Fairtlough, Matt, Wainer, Stanley S.

Volltext

Computability: Logical and Recursive Complexity von Wainer, Stanley S

Volltext bestellen

Ordinal Bounds for Programs von Schwichtenberg, Helmut, Wainer, Stanley S.

Volltext

The 1-Section of a Non-Normal Type - 2 Object von Wainer, Stanley S.

Volltext

A simplified version of local predicativity von Buchholz, Wilfried, Aczel, Peter, Simmons, Harold, Wainer, Stanley S

Volltext bestellen

Members of countable π10 classes von Cenzer, Douglas, Clote, Peter, Smith, Rick L., Soare, Robert I., Wainer, Stanley S.

Volltext

Infinite terms and recursion in higher types von Schwichtenberg, Helmut, Wainer, Stanley S, Diller, J, Müller, G.H

Volltext bestellen

Integrating de novo and inherited variants in 42,607 autism cases identifies mutations in new moderate-risk genes von Zhou, Xueya, Feliciano, Pamela, Shu, Chang, Wang, Tianyun, Astrovskaya, Irina, Hall, Jacob B., Obiajulu, Joseph U., Wright, Jessica R., Murali, Shwetha C., Xu, Simon Xuming, Brueggeman, Leo, Thomas, Taylor R., Marchenko, Olena, Fleisch, Christopher, Barns, Sarah D., Snyder, LeeAnne Green, Han, Bing, Chang, Timothy S., Turner, Tychele N., Harvey, William T., Nishida, Andrew, O’Roak, Brian J., Geschwind, Daniel H., Michaelson, Jacob J., Volfovsky, Natalia, Eichler, Evan E., Shen, Yufeng, Chung, Wendy K.

Volltext

Predicatively unprovable termination of the Ackermannian Goodstein process von Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley, Weiermann, Andreas

Volltext

Interaction of 18-methoxycoronaridine with nicotinic acetylcholine receptors in different conformational states von Arias, Hugo R., Rosenberg, Avraham, Feuerbach, Dominik, Targowska-Duda, Katarzyna M., Maciejewski, Ryszard, Jozwiak, Krzysztof, Moaddel, Ruin, Glick, Stanley D., Wainer, Irving W.

Volltext

Interaction of 18-Methoxycoronaridine with Nicotinic Acetylcholine Receptors in Different Conformational States von Shamoun, Anita E., Rosenberg, Avraham, Feuerbach, Dominik, Targowska-Duda, Katarzyna M., Jozwiak, Krzysztof, Moaddel, Ruin, Glick, Stanley D., Wainer, Irving W., Arias, Hugo R.

Volltext

Profiles in Research von Stanley, Julian Cecil

Volltext

Predicatively unprovable termination of the Ackermannian Goodstein process von Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley, Weiermann, Andreas

Volltext bestellen