Michal Kozak - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2023

Making the Whole Greater than the Sum of its Parts: Taxonomy Development as a Site of Negotiation and Compromise in an Interdisciplinary Software Development ProjectJennifer Edmond, Alejandro Benito-Santos, Michelle Doran, Roberto Therón, Michal Kozak, Cezary Mazurek, Eveline Wandl-Vogt, Aleyda Rocha Sepulveda. dhq, 17(3), 2023. [doi]

2014

Strong negation in intuitionistic style sequent systems for residuated latticesMichal Kozak. mlq, 60(4-5):319-334, 2014. [doi]

2013

Long-Term Preservation Services as a Key Element of the Digital Libraries InfrastructurePiotr Jedrzejczak, Michal Kozak, Cezary Mazurek, Tomasz Parkola, Szymon Pietrzak, Maciej Stroinski, Jan Weglarz. In Robert Bembenik, Lukasz Skonieczny, Henryk Rybinski, Marzena Kryszkiewicz, Marek Niezgodka, editors, Intelligent Tools for Building a Scientific Information Platform - Advanced Architectures and Solutions. Volume 467 of Studies in Computational Intelligence, pages 85-95, Springer, 2013. [doi]

2011

Cyclic Involutive Distributive Full Lambek Calculus is DecidableMichal Kozak. logcom, 21(2):231-252, 2011. [doi]

2009

Distributive Full Lambek Calculus Has the Finite Model PropertyMichal Kozak. sLogica, 91(2):201-216, 2009. [doi]

Sign in or sign up to see more results.

runs on WebDSL