Stanislaw Szawiel

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Legal Knowledge

Information Systems

Underlying Assumptions

Datalog Programs

Top Venues

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

Stanislaw Szawiel, Marek W. Zawadowski
Monads of Regular Theories. Appl. Categorical Struct. 23 (3) (2015)
Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski
Rigidity is undecidable. Math. Struct. Comput. Sci. 24 (6) (2014)
Stanislaw Szawiel, Marek W. Zawadowski
Theories of analytic monads. Math. Struct. Comput. Sci. 24 (6) (2014)
Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski
Rigidity is undecidable CoRR (2012)