Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Generic partiality for $\frac{3}{2}$-institutions

Autor: Diaconescu, R��zvan

$\frac{3}{2}$-institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic and semantic effects. In this paper we show that ordinary institution

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b12befbe3d9f817fff4e9c040ae5e43d

Coalgebraic Semantics of Heavy-Weighted Automata

Autor: Fortin, M., Bonsangue, M.M., Rutten, J., Codescu, M., Diaconescu, R., Țuțu, I.

Publikováno v: Codescu, M.; Diaconescu, R.; Țuțu, I. (ed.), Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 48-68
Lecture Notes in Computer Science ; 9463, 48-68. Cham : Springer International Publishing
STARTPAGE=48;ENDPAGE=68;TITLE=Lecture Notes in Computer Science ; 9463
Recent Trends in Algebraic Development Techniques ISBN: 9783319281131
WADT

In this paper we study heavy-weighted automata, a generalization of weighted automata in which the weights of the transitions can be formal power series. As for ordinary weighted automata, the behaviour of heavy-weighted automata is expressed in term

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b051da731219777be61d628f8d30cc98
https://hdl.handle.net/2066/159607