( en | de | ru )

 

Disambiguation of "Etalle, Sandro"

Author of the publication

copydeleteadd this publication to your clipboard
On the Correctness of the Replacement Operation for CLP Modules.

, and . J. Funct. Log. Program., (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sandro Valle

(_1hn1_1hn2_1hn3I)-ADAM und (_1hn9_1hn9_1hnmTc)-TRODAT-1: szintigraphische In-vivo-Darstellung der serotonergen und dopaminergen Transportersysteme anhand von Micro-SPECT im ZNS von Ratten. Uni München, (2009)

Sandro Limbach

Sandro Casagrande

Sandro Wefel

Sandro Staroske

 

Other publications of authors with the same name

Transformation of Left Terminating Programs., , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 156-175. Springer, (1999)On the Unification Free Prolog Programs., and . MFCS, volume 711 of Lecture Notes in Computer Science, page 1-19. Springer, (1993)Properties of Input-Consuming Derivations, , and . CoRR, (2001)Layered Modes., and . J. Log. Program., 39 (1-3): 225-244 (1999)Encryption in ICS networks: A blessing or a curse?, , , , , and . SmartGridComm, page 289-294. IEEE, (2017)A Logic for Auditing Accountability in Decentralized Systems., , , , and . Formal Aspects in Security and Trust, volume 173 of IFIP, page 187-201. Springer, (2004)Semantics of well-moded input-consuming logic programs., , and . Comput. Lang., 26 (1): 1-25 (2000)Experimental Validation of a Risk Assessment Method., , and . REFSQ, volume 9013 of Lecture Notes in Computer Science, page 1-16. Springer, (2015)Preface., and . STM, volume 179 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)A posteriori compliance control., and . SACMAT, page 11-20. ACM, (2007)