2007 | ||
---|---|---|
3 | EE | Jerzy Tomasik, Jerzy Weyman: Category localization semantics for specification refinements. Ann. Math. Artif. Intell. 49(1-4): 253-263 (2007) |
2002 | ||
2 | EE | Andrzej Kisielewicz, Jerzy Tomasik: Essential arities in algebras of finite type and arity trees. Discrete Mathematics 248(1-3): 79-91 (2002) |
1997 | ||
1 | Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie: Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Ann. Pure Appl. Logic 89(1): 1 (1997) |
1 | Patrick Cégielski | [1] |
2 | Andrzej Kisielewicz | [2] |
3 | Leszek Pacholski | [1] |
4 | Denis Richard | [1] |
5 | Jerzy Weyman | [3] |
6 | Alex Wilkie | [1] |