Jerzy Tomasik

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

Publications

Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski
Theories of initial segments of standard models of arithmetics and their complete extensions. Theor. Comput. Sci. 412 (31) (2011)
Jerzy Tomasik, Jerzy Weyman
Category localization semantics for specification refinements. Ann. Math. Artif. Intell. 49 (1-4) (2007)
Jerzy Tomasik, Jerzy Weyman
Category semantics for fusion and refinement of multi-sorted specifications. FUSION (2006)
Andrzej Kisielewicz, Jerzy Tomasik
Essential arities in algebras of finite type and arity trees. Discret. Math. 248 (1-3) (2002)
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. Log. 89 (1) (1997)