Wojciech Zielonka - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2023

Instant Volumetric Head AvatarsWojciech Zielonka, Timo Bolkart, Justus Thies. cvpr 2023: 4574-4584 [doi]

2022

Towards Metrical Reconstruction of Human FacesWojciech Zielonka, Timo Bolkart, Justus Thies. eccv 2022: 250-269 [doi]

2010

On the directional Lambek calculusWojciech Zielonka. igpl, 18(3):403-421, 2010. [doi]

2009

Weak Implicational Logics Related to the Lambek Calculus - Gentzen versus Hilbert FormalismsWojciech Zielonka. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 201-212, Springer, 2009. [doi]

2007

On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty StringWojciech Zielonka. logcom, 17(2):299-310, 2007. [doi]

2002

On Reduction Systems Equivalent to The Lambek Calculus with the Empty StringWojciech Zielonka. sLogica, 71(1):31-46, 2002.

2001

Cut-Rule Axiomatization of the Syntactic Calculus L0Wojciech Zielonka. jolli, 10(2):233-236, 2001.

2000

Cut-Rule Axiomatization of the Syntactic Calculus NL0Wojciech Zielonka. jolli, 9(3):339-352, 2000.

1992

Interdefinability of Lambekian FunctorsWojciech Zielonka. mlq, 38(1):501-507, 1992. [doi]

1990

Linear axiomatics of commutative product-free Lambek calculusWojciech Zielonka. sLogica, 49(4):515-522, 1990. [doi]

1989

A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculiWojciech Zielonka. sLogica, 48(1):35-39, 1989. [doi]

1988

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty StringWojciech Zielonka. mlq, 34(2):135-142, 1988. [doi]

1981

Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation SchemesWojciech Zielonka. mlq, 27(13-14):215-224, 1981. [doi]

Sign in or sign up to see more results.

runs on WebDSL