( en | de | ru )

 

Disambiguierung von "Moiso, Corrado"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.

, , , , und . SLP, Seite 318-327. IEEE-CS, (1987)

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.

Cornelia Moiso-Diekamp

Corrado Boeche

Corrado Nai

Corrado Wohlwend

Corrado Nai

 

Weitere Publikationen von Autoren mit dem selben Namen

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language., , , und . IFIP Congress (1), Volume A-12 von IFIP Transactions, Seite 142-148. North-Holland, (1992)Towards a CAPEX-free service delivery platform., , , und . ICIN, Seite 8-14. IEEE, (2012)Constraint-Based Policy Negotiation and Enforcement for Telco Services., , , und . TASE, Seite 463-472. IEEE Computer Society, (2007)Hybrid composition of telecom and Internet services: The telecom operator perspective., , , und . ICIN, Seite 155-162. IEEE, (2013)Some Aspects of the Integration between Logic Programming and Fiunctional Programming., und . AIMSA, Seite 69-79. North-Holland, (1986)IDEAL & K-LEAF implementation: a progress report., , und . PARLE (1), Volume 365 von Lecture Notes in Computer Science, Seite 413-432. Springer, (1989)Towards a dynamic cloud-enabled service eco-system., , , , , und . ICIN, Seite 259-264. IEEE, (2011)Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks., , und . AICT, Seite 31. IEEE Computer Society, (2007)Notes on the Elimination of Conditions., und . CTRS, Volume 308 von Lecture Notes in Computer Science, Seite 91-97. Springer, (1987)A Completeness Result for E-unification Algorithms Based on Conditional Narrowing., und . Foundations of Logic and Functional Programming, Volume 306 von Lecture Notes in Computer Science, Seite 157-167. Springer, (1986)