Zobrazeno 1 - 10
of 343
pro vyhledávání: '"Ronchi Della Rocca S."'
The notion of solvability, crucial in the λ-calculus, is conservatively extended to a probabilistic setting, and a complete characterization of it is given. The employed technical tool is a type assignment system, based on non-idempotent intersectio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ef3ca2b4bd13a42a967a3d8218f763e
http://hdl.handle.net/11585/797397
http://hdl.handle.net/11585/797397
Publikováno v:
In Information and Computation 10 April 1999 150(1):1-21
Publikováno v:
Calcolo; Jan1977, Vol. 14 Issue 1, p45-83, 39p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lettere Nuovo Cimento; June 1971, Vol. 1 Issue: 23 p941-945, 5p
Autor:
Antonelli, Melissa
Publikováno v:
KI: Künstliche Intelligenz; Aug2024, Vol. 38 Issue 1/2, p99-105, 7p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.