Výsledky vyhledávání - "de' Liguoro, Ugo"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "de' Liguoro, Ugo"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 24 pro vyhledávání: '"de' Liguoro, Ugo"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

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.

Vybrat výsledek číslo 2 2

Akademický článek

On reduction and normalization in the computational core.

Autor: Faggian, Claudia, Guerrieri, Giulio, de' Liguoro, Ugo, Treglia, Riccardo

Publikováno v: Mathematical Structures in Computer Science; Aug2022, Vol. 32 Issue 7, p934-981, 48p

Zobrazit plný text záznamu

Vybrat výsledek číslo 3 3

On the reduction of the type-free computational λ-calculus

Autor: DE' LIGUORO, Ugo, Treglia, Riccardo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::88ff512a245c1a146b8cc94fc555a3b6
http://hdl.handle.net/2318/1802654

Zobrazit plný text záznamu

Vybrat výsledek číslo 4 4

Akademický článek

Non-monotonic Pre-fix Points and Learning.

Autor: Berardi, Stefano¹ stefano@di.unito.it, de' Liguoro, Ugo¹ ugo.deliguoro@unito.it

Publikováno v: Fundamenta Informaticae. 2017, Vol. 150 Issue 3-4, p259-280. 22p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 5 5

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.

Vybrat výsledek číslo 6 6

Two Notions of Sub-behaviour for Session-based Client/ServerSystems

Autor: Barbanera, Franco, DE' LIGUORO, Ugo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::e010ff25b4178d5af5875f7fd0742ff3
http://hdl.handle.net/2318/74833

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

A Calculus of Realizers for EM1-Arithmetic

Autor: Berardi, Stefano, DE' LIGUORO, Ugo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::053d302c3e6e73e453adda21092021ff
http://hdl.handle.net/2318/88116

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Logical equivalence for subtyping and recursive types

Autor: VAN BAKEL, S., DE' LIGUORO, Ugo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::3c04f842c6de23083d4815b797a47cdc
http://hdl.handle.net/2318/28911

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Subtyping object and recursive types logically

Autor: VAN BAKEL STEFFEN, DE' LIGUORO, Ugo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::1748ad242c4daf718afb8483ea6730a1
http://hdl.handle.net/2318/17659

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Logical Semantics for the First Order Sigma-Calculus

Autor: Steffen van Bakel, DE' LIGUORO, Ugo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::338efee36908ba9cbc0e74b63b210bb0
http://hdl.handle.net/2318/46814

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
Další »
[3]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

6 Akademické články
5 Knihy

3 type systems
2 arbitrary constants
2 biomathematics
2 deterministic processes
2 factorization
2 learning
2 mathematical constants
2 normalization
2 process calculi
2 rewriting
2 session types
1 call-by-value
1 coinduction
1 confluence
1 lambda-calculus
1 object oriented
1 operations research
1 programming languages
1 semantics
1 service oriented computing
1 subtyping

5 springer nature
3 ios press
3 springer
2 cambridge univ press
1 acm - association for computing machinery
1 cambridge university press
1 ieee computer society press
1 springer verlag

3 fundamenta informaticae
3 mathematical structures in computer science
1 computer science logic (9783540875307)
1 coordination models & languages (9783319395180)
1 fundamentals of software engineering
1 trustworthy global computing (9783540786627)
1 web services & formal methods (9783642144578)

13 OpenAIRE
7 Complementary Index
3 Science Citation Index Expanded
1 Academic Search Ultimate

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......