( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstractions of Uniform Proofs.

. ALP, том 1139 из Lecture Notes in Computer Science, стр. 224-237. Springer, (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.

Giordano Paolo

Letizia Volpe

Francesco Volpe

Francesco Volpe

Francesco Volpe

 

Другие публикации лиц с тем же именем

Semantics of Concurrent Logic Programming as Uniform Proofs.. GULP-PRODE (1), стр. 107-124. (1994)Abstract Interpretation for Uniform Proof Systems.. APPIA-GULP-PRODE, стр. 465-480. (1996)Abstractions of Uniform Proofs.. ALP, том 1139 из Lecture Notes in Computer Science, стр. 224-237. Springer, (1996)Derivation of Proof Methods by Abstract Interpretation., и . PLILP/ALP, том 1490 из Lecture Notes in Computer Science, стр. 102-117. Springer, (1998)A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.. SAS, том 1503 из Lecture Notes in Computer Science, стр. 184-199. Springer, (1998)One-class autoencoder approach for optimal electrode set identification in wearable EEG event monitoring*., , , , , и . EMBC, стр. 7128-7131. IEEE, (2021)Concurrent Logic Programming as Uniform Linear Proofs.. ALP, том 850 из Lecture Notes in Computer Science, стр. 133-149. Springer, (1994)