Author Search Results :: UTM Library Massive Scholar Tracking

1

Undecidable problems concerning densities of languages by Jakub Kozik

Published 2005-01-01

Get full text

Article
2

Subcritical pattern languages for and/or trees by Jakub Kozik

Published 2008-01-01

Get full text

Article
3

On the density and the structure of the Peirce-like formulae by Antoine Genitrini, Jakub Kozik, Grzegorz Matecki

Published 2008-01-01

Get full text

Article
4

$Asymptotically almost all \lambda-terms are strongly normalizing$

Asymptotically almost all \lambda-terms are strongly normalizing by René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc

Published 2013-02-01

Get full text

Article