( en | de | ru )

 

Disambiguierung von "Turi, Daniele"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Initial Algebra and Final Coalgebra Semantics for Concurrency.

, und . REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 530-582. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Turi

Zoltán Turi

Sada Turimella

Sebastian Turinsky

Ali Turikieh

 

Weitere Publikationen von Autoren mit dem selben Namen

A Two Steps Semantics for Logic Programs with Negation., , und . LPAR, Volume 624 von Lecture Notes in Computer Science, Seite 297-308. Springer, (1992)Extending S-Models to Logic Programs with Negation.. ICLP, Seite 397-411. MIT Press, (1991)The OWL Instance Store: System Description., , und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 177-181. Springer, (2005)Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT., , , und . SIGMOD Record, 33 (2): 27-32 (2004)Initial Algebra and Final Coalgebra Semantics for Concurrency., und . REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 477-530. Springer, (1992)Web Services for the DDSM and Digital Mammography Research., , , , und . Digital Mammography / IWDM, Volume 4046 von Lecture Notes in Computer Science, Seite 376-383. Springer, (2006)Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community., , , , , , , , , und . Workflows for e-Science, Scientific Workflows for Grids, Springer, (2007)Mining Taverna's semantic web of provenance., , , und . Concurr. Comput. Pract. Exp., 20 (5): 463-472 (2008)On the Foundations of Final Coalgebra Semantics., und . Math. Struct. Comput. Sci., 8 (5): 481-540 (1998)