W dniach od 2 kwietnia do 5 kwietnia 2024 r. prowadzone będą prace związane z wdrożeniem nowej wersji systemu Repozytorium UJ. Nie będzie możliwe wprowadzanie nowych informacji do repozytorium. Za utrudnienia przepraszamy.
Przejdź do treści
Pomoc
A
A
A
Zaloguj
Repozytorium Uniwersytetu Jagiellońskiego
Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers*
Szukaj w RUJ
W tej kolekcji
Zbiory i kolekcje
Repozytorium Uniwersytetu Jagiellońskiego (RUJ)
Bibliografia Publikacji Pracowników UJ
Publikacje naukowe
Zobacz pozycję
Brak obsługi JavaScript w Twojej przeglądarce. Niektóre funkcje tej strony mogą być niedostępne.
Przejdź do menu
Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers*
Statystyki użycia
Statystyki rejestracji ORCID
Opis pozycji
Metadane (Dublin Core)
Dane dla PBN
wybierz styl...
apa
harvard
chicago-fullnote-bibliography
ISO-690
Opis pozycji
tytuł:
Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers*
autor:
Bendkowski Maciej
, Grygiel Katarzyna
, Tarau Paul
tytuł czasopisma:
Theory and Practice of Logic Programming
tom:
18
numer:
1
data wydania :
2018
strony:
97-119
ISSN:
1471-0684
eISSN:
1475-3081
DOI:
10.1017/S147106841700045X
język:
angielski
język czasopisma:
angielski
wydział: instytut / zakład / katedra:
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
typ:
artykuł w czasopiśmie
podtyp:
artykuł
punktacja MEiN [2018 A]: 35
Pliki tej pozycji
Plik
Rozmiar
Format
Przeglądanie
Nie ma plików powiązanych z tą pozycją.
Pozycja umieszczona jest w następujących kolekcjach
Publikacje naukowe
Przejdź do stopki