Zobrazeno 1 - 10
of 108
pro vyhledávání: '"ρ-calculus"'
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 July 2007 176(4):95-111
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 July 2006 154(3):19-32
Publikováno v:
In Electronic Notes in Theoretical Computer Science 20 January 2005 117:51-67
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:
Studia Logica. 103:1225-1244
The third author gave a natural deduction style proof system called the $${{\lambda}{\rho}}$$??-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307---320, 2013). In (Matsuda, Intuitionistic fragment of the $${{\la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62c6072177f219bd64988f1aee4f2354
https://doi.org/10.1007/s11225-015-9616-1
https://doi.org/10.1007/s11225-015-9616-1
Publikováno v:
EXPRESS
The ρ -calculus generalises both term rewriting and the λ -calculus in a uniform framework. Interaction nets are a form of graph rewriting which proved most successful in understanding the dynamics of the λ -calculus, the prime example being the i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6da11a972db90d7f26fdb6715342880
https://doi.org/10.1016/j.entcs.2006.05.004
https://doi.org/10.1016/j.entcs.2006.05.004
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.
Autor:
Cheng-Shang Chang
Publikováno v:
Performance Guarantees in Communication Networks ISBN: 9781447111474
In this chapter, we consider a discrete-time system with time indexed by t = 0, 1, 2,… We describe a discrete-time arrival process of a traffic source by a sequence of variables A≡{A(t),t = 0, 1, 2,…, where A(t) is the cumulative number of arri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85d124064b9e29eb4fd13efe30ef7fdd
https://doi.org/10.1007/978-1-4471-0459-9_1
https://doi.org/10.1007/978-1-4471-0459-9_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.
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.