( en | de | ru )

 

Disambiguierung von "Martini, Simone"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs.

, und . ICLP, Seite 337-352. MIT Press, (1989)

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.

Simone Martini

Daniel Martini

Lothar Martini

Rudolf Martini

Thomas Martini

 

Weitere Publikationen von Autoren mit dem selben Namen

Derivational Complexity Is an Invariant Cost Model., und . FOPARA, Volume 6324 von Lecture Notes in Computer Science, Seite 100-113. Springer, (2009)Typing Lambda Terms in Elementary Logic with Linear Constraints., und . TLCA, Volume 2044 von Lecture Notes in Computer Science, Seite 76-90. Springer, (2001)Correction to the Euler Lagrange Multirotor Model with Euler Angles Generalized Coordinates., , , , und . J. Intell. Robotic Syst., 110 (1): 17 (März 2024)Identification of distributed systems with logical interaction structure., , , und . CDC, Seite 5228-5233. IEEE, (2012)Controllability decompositions of networked systems through quotient graphs., , und . CDC, Seite 5244-5249. IEEE, (2008)An Extension of System F with Subtyping., , , und . TACS, Volume 526 von Lecture Notes in Computer Science, Seite 750-770. Springer, (1991)Problem Solving Olympics: An Inclusive Education Model for Learning Informatics., , , , , und . ISSEP, Volume 11169 von Lecture Notes in Computer Science, Seite 319-335. Springer, (2018)An Invariant Cost Model for the Lambda Calculus., und . CiE, Volume 3988 von Lecture Notes in Computer Science, Seite 105-114. Springer, (2006)Steering a Leader-Follower Team Via Linear Consensus., , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 642-645. Springer, (2008)Is Type Checking Practical for System Configuration?, , und . TAPSOFT, Vol.2, Volume 352 von Lecture Notes in Computer Science, Seite 257-271. Springer, (1989)