Gunnar Wilken

15 papers C 1Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fundamental sequences based on localization. Ann. Pure Appl. Log. Gunnar Wilken
2024	C	`conf`	Fundamental Sequences Based on Localization. CiE Gunnar Wilken
2021	J	`jnl`	Pure Σ Ann. Pure Appl. Log. Gunnar Wilken
2018	J	`jnl`	An Extended Field-Based Method for Noise Removal From Electron Tomographic Reconstructions. IEEE Access Faisal Mahmood, Lars-Goran Ofverstedt, Mart Toots, Gunnar Wilken, Ulf Skoglund
2018	J	`jnl`	Pure patterns of order 2. Ann. Pure Appl. Log. Gunnar Wilken
2013	J	`jnl`	Goodstein sequences for prominent ordinals up to the ordinal of Π11-CA0. Ann. Pure Appl. Log. Andreas Weiermann, Gunnar Wilken
2012	J	`jnl`	Derivation Lengths Classification of Gödel's T Extending Howard's Assignment Log. Methods Comput. Sci. Gunnar Wilken, Andreas Weiermann
2012	J	`jnl`	Normal forms for elementary patterns. J. Symb. Log. Timothy J. Carlson, Gunnar Wilken
2012	J	`jnl`	Tracking chains of Σ Ann. Pure Appl. Log. Timothy J. Carlson, Gunnar Wilken
2011	J	`jnl`	Ordinal arithmetic with simultaneously defined theta-functions. Math. Log. Q. Andreas Weiermann, Gunnar Wilken
2009	—	`conf`	Complexity of Gödel's T in lambda-Formulation. TLCA Gunnar Wilken, Andreas Weiermann
2007	J	`jnl`	Assignment of ordinals to patterns of resemblance. J. Symb. Log. Gunnar Wilken
2007	J	`jnl`	Ordinal arithmetic based on Skolem hulling. Ann. Pure Appl. Log. Gunnar Wilken
2007	J	`jnl`	Sigma Ann. Pure Appl. Log. Gunnar Wilken
2006	J	`jnl`	The Bachmann-Howard Structure in Terms of Sigma Arch. Math. Log. Gunnar Wilken