( en | de | ru )

 

Disambiguation of "Policriti, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Comparing Expressiveness of Set Constructor Symbols.

, , and . FroCoS, volume 1794 of Lecture Notes in Computer Science, page 275-289. Springer, (2000)

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.

Alberto Fierro

Alberto Moreira

Alberto Coda

Alberto Moreira

Alberto Moreira

 

Other publications of authors with the same name

Obituary of Martin Davis (1928-2023)., , and . IEEE Ann. Hist. Comput., 45 (1): 93-94 (January 2023)Solving String Problems on Graphs Using the Labeled Direct Product., , and . Algorithmica, 84 (10): 3008-3033 (2022)Computing LZ77 in Run-Compressed Space., and . DCC, page 23-32. IEEE, (2016)LZ77 Computation Based on the Run-Length Encoded BWT., and . Algorithmica, 80 (7): 1986-2011 (2018)A Computerized Referee., , , and . Reasoning, Action and Interaction in AI Theories and Systems, volume 4155 of Lecture Notes in Computer Science, page 117-139. Springer, (2006)Simulation as Coarsest Partition Problem., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 415-430. Springer, (2002)A Fast Bisimulation Algorithm., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 79-90. Springer, (2001)Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing., , , , and . CMSB, volume 2602 of Lecture Notes in Computer Science, page 57-74. Springer, (2003)Derivability in Locally Quantified Modal Logics via Translation in Set Theory., , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 559-568. Springer, (2000)A Complete Axiomatic System for a Process-Based Spatial Logic., and . MFCS, volume 5162 of Lecture Notes in Computer Science, page 491-502. Springer, (2008)