Authors: Neven, F Otto, M Tyszkiewicz, J Van den Bussche, J

Citation: F. Neven et al., Adding for-loops to first-order logic, INF COMPUT, 168(2), 2001, pp. 156-186

Authors: Chrzastowski-Wachtel, P Tyszkiewicz, J Hoffmann, A Ramer, A

Citation: P. Chrzastowski-wachtel et al., Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker, INF PROCESS, 79(4), 2001, pp. 155-160

Authors: Tyszkiewicz, J

Citation: J. Tyszkiewicz, A simple construction for tournaments with every k players beaten by a single player, AM MATH MO, 107(1), 2000, pp. 53-54

Authors: Tyszkiewicz, J

Citation: J. Tyszkiewicz, Tartar conveyors, vectores-et-aurigae, in the Polish-Lithuanian state, from the 16th to the first half of the 17th century, ACT POL HIS, (82), 2000, pp. 37-48