Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Montanari, Martin"'
Autor:
Gui, Jinghua, Huang, Yunxian, Montanari, Martin, Toddie-Moore, Daniel, Kikushima, Kenji, Nix, Stephanie, Ishimoto, Yukitaka, Shimmi, Osamu
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2019 Mar 01. 116(10), 4352-4361.
Externí odkaz:
https://www.jstor.org/stable/26683103
Autor:
Jinghua Gui, Yunxian Huang, Montanari, Martin, Toddie-Moore, Daniel, Kenji Kikushima, Nix, Stephanie, Yukitaka Ishimoto, Osamu Shimmi
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America; 3/5/2019, Vol. 116 Issue 10, p4352-4361, 10p
Autor:
LANESE, IVAN, Montanari U.
In this paper we outline the main ideas emerged while studying a chain of mappings from Fusion Calculus to logic programming, using Synchronized Hyperedge Replacement (with both Hoare and Milner synchronizations) as intermediate step. We aim more at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4094::da9feecde7905b39140a1ad71741e08f
http://hdl.handle.net/11585/104598
http://hdl.handle.net/11585/104598
