The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Katarzyna Grygiel" ( http://dblp.L3S.de/Authors/Katarzyna_Grygiel )

  Author page on DBLP  Author page in RDF  Community of Katarzyna Grygiel in ASPL-2

Publication years (Num. hits)
2009-2017 (17) 2018 (1)
Publication types (Num. hits)
article(15) inproceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc Combinatorics of $$\lambda$$-terms: a natural approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc On the likelihood of normalization in combinatory logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Boltzmann Samplers for Closed Simply-Typed Lambda Terms. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc Combinatorics of λ-terms: a natural approach. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc On the likelihood of normalisation in combinatory logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc A Natural Counting of Lambda Terms. Search on Bibsonomy SOFSEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc A natural counting of Lambda terms. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Katarzyna Grygiel, Pierre Lescanne Counting and Generating Terms in the Binary Lambda Calculus (Extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Katarzyna Grygiel, Pierre Lescanne Counting and generating terms in the binary lambda calculus. Search on Bibsonomy J. Funct. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc Asymptotic Properties of Combinatory Logic. Search on Bibsonomy TAMC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Katarzyna Grygiel, Pierre Lescanne Counting Terms in the Binary Lambda Calculus. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc How big is BCI fragment of BCK logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Katarzyna Grygiel, Pierre Lescanne Counting and generating lambda terms. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Katarzyna Grygiel, Pierre Lescanne Counting and generating lambda terms Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc How big is BCI fragment of BCK logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc Some properties of random lambda terms Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license