Authors: Grygiel, Katarzyna, Larcher, Isabella

Contributors: Theoretical Computer Science Department Krakow (TCS), Uniwersytet Jagielloński w Krakowie = Jagiellonian University (UJ), Vienna University of Technology (TU Wien)

Superior Title: ISSN: 1462-7264.

Subject Terms: lambda terms with restrictions, singularity analysis, profile of lambda terms, [MATH]Mathematics [math], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]

Relation: hal-02313735; https://hal.archives-ouvertes.fr/hal-02313735; https://hal.archives-ouvertes.fr/hal-02313735v3/document; https://hal.archives-ouvertes.fr/hal-02313735v3/file/Unary_height_of_lambda_terms.pdf

Availability: https://hal.archives-ouvertes.fr/hal-02313735
https://hal.archives-ouvertes.fr/hal-02313735v3/document
https://hal.archives-ouvertes.fr/hal-02313735v3/file/Unary_height_of_lambda_terms.pdf

Authors: Bendkowski, Maciej^Aff15, Grygiel, Katarzyna^Aff15, Tarau, Paul^Aff16

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Lierler, Yuliya, editor^Aff13, Taha, Walid, editor^Aff14

Superior Title: Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. 10137:120-135

Authors: Bendkowski, Maciej^Aff16, Grygiel, Katarzyna^Aff16, Lescanne, Pierre^Aff17, Zaionc, Marek^Aff16

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Freivalds, Rūsiņš Mārtiņš, editor^Aff13, Engels, Gregor, editor^Aff14, Catania, Barbara, editor^Aff15

Superior Title: SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. 9587:183-194

Authors: Bendkowski, Maciej^Aff16, Grygiel, Katarzyna^Aff16, Zaionc, Marek^Aff16

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Jain, Rahul, editor^Aff13, Jain, Sanjay, editor^Aff14, Stephan, Frank, editor^Aff15

Superior Title: Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. 9076:62-72

Authors: Wojtaszek, Ewa, Grzejszczak, Agnieszka, Grygiel, Katarzyna, Małyszko, Jolanta, Matuszkiewicz-Rowińska, Joanna

Superior Title: Frontiers in Physiology ; volume 9 ; ISSN 1664-042X

Availability: https://doi.org/10.3389/fphys.2018.01830

Authors: Grygiel, Katarzyna, Larcher, Isabella

Contributors: Theoretical Computer Science Department Krakow (TCS), Jagiellonian University Krakow (UJ), Technische Universität Wien (TU Wien)

Superior Title: https://hal.archives-ouvertes.fr/hal-02313735 ; 2020.

Subject Terms: profile of lambda terms, singularity analysis, lambda terms with restrictions, [MATH]Mathematics [math], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]

Relation: hal-02313735; https://hal.archives-ouvertes.fr/hal-02313735; https://hal.archives-ouvertes.fr/hal-02313735v2/document; https://hal.archives-ouvertes.fr/hal-02313735v2/file/Unary_height_of_lambda_terms_v04082020.pdf

Availability: https://hal.archives-ouvertes.fr/hal-02313735
https://hal.archives-ouvertes.fr/hal-02313735v2/document
https://hal.archives-ouvertes.fr/hal-02313735v2/file/Unary_height_of_lambda_terms_v04082020.pdf

Authors: Bendkowski, Maciej, Grygiel, Katarzyna, Tarau, Paul

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/1612.07682

Availability: http://arxiv.org/abs/1612.07682

Authors: Bendkowski, Maciej, Grygiel, Katarzyna, Lescanne, Pierre, Zaionc, Marek

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Mathematics - Combinatorics, Mathematics - Logic

Relation: http://arxiv.org/abs/1609.07593

Availability: http://arxiv.org/abs/1609.07593

Authors: Bendkowski, Maciej, Grygiel, Katarzyna, Zaionc, Marek

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/1607.04908

Availability: http://arxiv.org/abs/1607.04908

Authors: Grygiel, Katarzyna, Lescanne, Pierre

Contributors: Theoretical Computer Science Department Krakow (TCS), Uniwersytet Jagielloński w Krakowie = Jagiellonian University (UJ), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), DMTCS

Superior Title: AofA 2014 ; 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms ; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203 ; 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13

Subject Terms: lambda calculus, combinatorics, functional programming, test, random generator, ranking, unranking, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Paris, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1401.0379; ensl-00923203; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203/document; https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203/file/tromp_numbers.pdf; ARXIV: 1401.0379

Availability: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203/document
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203/file/tromp_numbers.pdf

Authors: Górnicka, Anetta, Grygiel, Joanna, Grygiel, Katarzyna

Superior Title: Acta Mathematica Hungarica. June 2014 143(1):176-184

Authors: Grygiel, Katarzyna, Lescanne, Pierre

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/1511.05334; J. Funct. Prog. 25 (2015) e24

Availability: https://doi.org/10.1017/S0956796815000271
http://arxiv.org/abs/1511.05334

Authors: Bendkowski, Maciej, Grygiel, Katarzyna, Lescanne, Pierre, Zaionc, Marek

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Computer Science - Programming Languages, Mathematics - Combinatorics, Mathematics - Logic

Relation: http://arxiv.org/abs/1506.02367

Availability: http://arxiv.org/abs/1506.02367

Authors: Czédli, Gábor, Grygiel, Joanna, Grygiel, Katarzyna

Superior Title: Algebra universalis. June 2013 69(4):313-326

Authors: David, René, Grygiel, Katarzyna, Kozik, Jakub, Raffalli, Christophe, Theyssier, Guillaume, Zaionc, Marek

Relation: Logical Methods in Computer Science, T. 9, nr 1; http://ruj.uj.edu.pl/xmlui/handle/item/119

Availability: https://doi.org/10.2168/LMCS-9(1:2)2013
http://ruj.uj.edu.pl/xmlui/handle/item/119

Authors: Grygiel, Katarzyna, Idziak, Pawel M., Zaionc, Marek

Subject Terms: Universal Logic Corner

File Description: text/html

Relation: http://logcom.oxfordjournals.org/cgi/content/short/23/3/673; http://dx.doi.org/10.1093/logcom/exs017

Availability: https://doi.org/10.1093/logcom/exs017
http://logcom.oxfordjournals.org/cgi/content/short/23/3/673

Authors: Grygiel, Katarzyna, Idziak, Pawel M., Zaionc, Marek

Subject Terms: Original Paper

File Description: text/html

Relation: http://logcom.oxfordjournals.org/cgi/content/short/exs017v1; http://dx.doi.org/10.1093/logcom/exs017

Availability: https://doi.org/10.1093/logcom/exs017
http://logcom.oxfordjournals.org/cgi/content/short/exs017v1

Authors: Czédli, Gábor, Grygiel, Joanna, Grygiel, Katarzyna

Subject Terms: Mathematics - Rings and Algebras, 06B99 (Primary) 06C15, 06D05 (Secondary)

Relation: http://arxiv.org/abs/1210.3520

Availability: http://arxiv.org/abs/1210.3520

Authors: Grygiel, Katarzyna, Lescanne, Pierre

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms

Relation: http://arxiv.org/abs/1210.2610

Availability: http://arxiv.org/abs/1210.2610

Authors: Grygiel, Katarzyna, Szmidt, Jacek, Jeleńska, Magdalena, Pawlak, Katarzyna

Superior Title: Polish Journal of Surgery ; volume 84, issue 1 ; ISSN 0032-373X

Subject Terms: Surgery, General Medicine

Availability: https://doi.org/10.2478/v10035-012-0005-4
https://www.degruyter.com/view/j/pjs.2012.84.issue-1/v10035-012-0005-4/v10035-012-0005-4.pdf