Author: "Juha Kontinen" / Journal: csl - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Juha Kontinen"' showing total 4 results

Start Over Author "Juha Kontinen" Journal csl

4 results on '"Juha Kontinen"'

1. On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.

Author: Miika Hannula, Juha Kontinen, Martin Lück, and Jonni Virtema
Published: 2021
Full Text: View/download PDF

2. Descriptive Complexity of #AC0 Functions.

Author: Arnaud Durand 0001, Anselm Haak, Juha Kontinen, and Heribert Vollmer
Published: 2016
Full Text: View/download PDF

3. A Van Benthem Theorem for Modal Team Semantics.

Author: Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, and Heribert Vollmer
Published: 2015
Full Text: View/download PDF

4. Hierarchies in independence logic.

Author: Pietro Galliani, Miika Hannula, and Juha Kontinen
Published: 2013
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results