Jerzy Tomasik

According to our database, Jerzy Tomasik authored at least 5 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Theories of initial segments of standard models of arithmetics and their complete extensions.

Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski

Theor. Comput. Sci., 2011

2007

Category localization semantics for specification refinements.

Jerzy Tomasik, Jerzy Weyman

Ann. Math. Artif. Intell., 2007

2006

Category semantics for fusion and refinement of multi-sorted specifications.

Jerzy Tomasik, Jerzy Weyman

Proceedings of the 9th International Conference on Information Fusion, 2006

2002

Essential arities in algebras of finite type and arity trees.

Andrzej Kisielewicz, Jerzy Tomasik

Discret. Math., 2002

1997

Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.

Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie

Ann. Pure Appl. Log., 1997