( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finite Failure is AND-Compositional.

, и . GULP-PRODE (1), стр. 464-478. (1994)

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.

Stefania Gori

Pietro Gori

Gigliola Gori

Roberta Heidelberger

Roberta Luhn

 

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

An Experiment in Type Inference and Verification by Abstract Interpretation., и . VMCAI, том 2294 из Lecture Notes in Computer Science, стр. 225-239. Springer, (2002)A New Occurrence Counting Analysis for BioAmbients., и . APLAS, том 3780 из Lecture Notes in Computer Science, стр. 381-400. Springer, (2005)Enhancing the expressive power of the U-Datalog language., , и . Theory Pract. Log. Program., 1 (1): 105-122 (2001)Investigating dynamic causalities in reaction systems., , , и . Theor. Comput. Sci., (2016)An analysis for proving probabilistic termination of biological systems., и . Theor. Comput. Sci., (2013)Abstract interpretation based verification of temporal properties for BioAmbients., и . Inf. Comput., 208 (8): 869-921 (2010)A Fixpoint Semantics for Reasoning about Finite Failure.. LPAR, том 1705 из Lecture Notes in Computer Science, стр. 238-257. Springer, (1999)An Abstract Interpretation Approach to Termination of Logic Programs.. LPAR, том 1955 из Lecture Notes in Computer Science, стр. 362-380. Springer, (2000)A Correctness and Incorrectness Program Logic., , , и . J. ACM, 70 (2): 15:1-15:45 (апреля 2023)A Logic for Locally Complete Abstract Interpretations., , , и . LICS, стр. 1-13. IEEE, (2021)