UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Counting and generating lambda terms

Journal of functional programming, 2013-09, Vol.23 (5), p.594-628

2013

Volltextzugriff (PDF)

Unary profile of lambda terms with restricted De Bruijn indices

Discrete mathematics and theoretical computer science, 2021-02, Vol.22 no. 3, Computational... (Special issues)

2021

Volltextzugriff (PDF)

Urgent-Start Peritoneal Dialysis as a Bridge to Definitive Chronic Renal Replacement Therapy: Short- and Long-Term Outcomes

Frontiers in physiology, 2019-01, Vol.9, p.1830-1830

2019

Volltextzugriff (PDF)

Counting and generating terms in the binary lambda calculus

Journal of functional programming, 2015-01, Vol.25, Article e24

2015

Volltextzugriff (PDF)

Unary profile of lambda terms with restricted De Bruijn indices

Discrete mathematics and theoretical computer science, 2020-07, Vol.22 (3), p.1-19

2020

Volltextzugriff (PDF)

On the likelihood of normalization in combinatory logic

Journal of logic and computation, 2017-10, Vol.27 (7), p.2251-2269

2017

Volltextzugriff (PDF)

Asymptotically almost all \lambda-terms are strongly normalizing

Logical methods in computer science, 2013-02, Vol.9, Issue 1

2013

Volltextzugriff (PDF)

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers

Theory and practice of logic programming, 2018-01, Vol.18 (1), p.97-119

2018

Volltextzugriff (PDF)

Random generation of closed simply typed[...]-terms: A synergy between logic programming and Boltzmann samplers

Theory and practice of logic programming, 2018-01, Vol.18 (1), p.97

2018

Volltextzugriff (PDF)

Combinatorics of $\lambda$-terms: a natural approach

Journal of logic and computation, 2017-12, Vol.27 (8), p.2611-2630

2017

Volltextzugriff (PDF)

Asymptotic Properties of Combinatory Logic

Theory and Applications of Models of Computation, p.62-72

Volltextzugriff (PDF)

How big is BCI fragment of BCK logic

Journal of logic and computation, 2013-06, Vol.23 (3), p.673-691

2013

Volltextzugriff (PDF)

A note on blocks of skeleton tolerances

Acta mathematica Hungarica, 2014-06, Vol.143 (1), p.176-184

2014

Volltextzugriff (PDF)

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

Practical Aspects of Declarative Languages, 2017, Vol.10137, p.120-135

2017

Volltextzugriff (PDF)

Distributive lattices determined by weighted double skeletons

Algebra universalis, 2013-06, Vol.69 (4), p.313-326

2013

Volltextzugriff (PDF)

A Natural Counting of Lambda Terms

SOFSEM 2016: Theory and Practice of Computer Science, p.183-194

Volltextzugriff (PDF)

Surgical Treatment of Hyperinsulinism During the Course of Pancreatic Cancer (Insulinoma) - One Center Experience

Polski przeglad chirurgiczny, 2012-01, Vol.84 (1), p.31-36

2012

Volltextzugriff (PDF)

Vascular complications in Ehlers-Danlos syndrome type IV — case report

Acta angiologica, 2015-01, Vol.21 (2), p.61-65

2015

Volltextzugriff (PDF)

Late aneurysm rupture after endovascular abdominal aneurysm repair

Interactive cardiovascular and thoracic surgery, 2007-08, Vol.6 (4), p.490-494

2007

Volltextzugriff (PDF)

A retrospective study of steroid elimination in simultaneous pancreas and preemptive kidney transplant (Sppre-Ktx) recipients

Annals of transplantation, 2006, Vol.11 (2), p.57-59

2006

Volltextzugriff (PDF)

Secondary kidney transplantation in a patient 16 years after simultaneous pancreas and kidney transplantation--a case report

Annals of transplantation, 2006, Vol.11 (1), p.40-42

2006

Volltextzugriff (PDF)

Procalcitonin--clinical and research significance

Polskie archiwum medycyny wewne̦trznej, 2004-02, Vol.111 (2), p.259

2004

Volltextzugriff (PDF)

Influence of Suprarenal Stentgraft Fixation on Renal Function in Patients After Abdominal Aortic Aneurysm Endovascular Exclusion

Polski przeglád chirurgiczny, 2007-01, Vol.79 (1)

2007

Volltextzugriff (PDF)

Chloroquine and hydroxychloroquine - safety profile of potential COVID-19 drugs from the rheumatologist's perspective

Annals of Agricultural and Environmental Medicine, 2021-01, Vol.28 (1), p.122-126

2021

Volltextzugriff (PDF)

1 – 25 von 41

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(37)
Mit Volltextzugriff
(37)

Publikationsform

Sprache

Englisch
(40)
Polnisch
(2)

Erscheinungsjahr

n.n

Thema

Science & Technology
(21)
Life Sciences & Biomedicine
(13)
Humans
(11)
Female
(10)
Male
(9)
Animals
(7)
Poland
(7)
Technology
(7)
Computer Science
(6)
Environmental Sciences
(6)
Environmental Sciences & Ecology
(6)
Mathematics
(6)
Middle Aged
(6)
Public, Environmental & Occupational Health
(6)
Adult
(5)
Combinatorics
(4)
Computer Science, Software Engineering
(4)
Computer Science, Theory & Methods
(4)
Ifa
(4)
Logic
(4)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Counting and generating lambda terms

Unary profile of lambda terms with restricted De Bruijn indices

Urgent-Start Peritoneal Dialysis as a Bridge to Definitive Chronic Renal Replacement Therapy: Short- and Long-Term Outcomes

Counting and generating terms in the binary lambda calculus

Unary profile of lambda terms with restricted De Bruijn indices

On the likelihood of normalization in combinatory logic

Asymptotically almost all \lambda-terms are strongly normalizing

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers

Random generation of closed simply typed[...]-terms: A synergy between logic programming and Boltzmann samplers

Combinatorics of $\lambda$-terms: a natural approach

Asymptotic Properties of Combinatory Logic

How big is BCI fragment of BCK logic

A note on blocks of skeleton tolerances

Boltzmann Samplers for Closed Simply-Typed Lambda Terms

Distributive lattices determined by weighted double skeletons

A Natural Counting of Lambda Terms

Surgical Treatment of Hyperinsulinism During the Course of Pancreatic Cancer (Insulinoma) - One Center Experience

Vascular complications in Ehlers-Danlos syndrome type IV — case report

Late aneurysm rupture after endovascular abdominal aneurysm repair

A retrospective study of steroid elimination in simultaneous pancreas and preemptive kidney transplant (Sppre-Ktx) recipients

Secondary kidney transplantation in a patient 16 years after simultaneous pancreas and kidney transplantation--a case report

Procalcitonin--clinical and research significance

Influence of Suprarenal Stentgraft Fixation on Renal Function in Patients After Abdominal Aortic Aneurysm Endovascular Exclusion

The comparison of treatment results of type 1 diabetes mellitus complicated by end-stage diabetic nephropathy in patients undergoing simultaneous pancreas and pre-emptive kidney transplantation (SPPkTx) and patients enrolled into the dialysis program--a cohort study

Chloroquine and hydroxychloroquine - safety profile of potential COVID-19 drugs from the rheumatologist's perspective

Suchergebnisse filtern