( en | de | ru )

 

Disambiguation of "Caleiro, Carlos"

Author of the publication

copydeleteadd this publication to your clipboard
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

, , and . WoLLIC, volume 7456 of Lecture Notes in Computer Science, page 321-335. Springer, (2012)

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.

Carlos Rodríguez

Carlos Strunz

Carlos Schleipen

Carlos Maya

Carlos Seré

 

Other publications of authors with the same name

Fibring Non-Truth-Functional Logics: Completeness Preservation., , , , and . J. Log. Lang. Inf., 12 (2): 183-211 (2003)Some more theorems on structural entailment relations and non-deterministic semantics., , and . CoRR, (2023)On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms., , and . Inf. Process. Manag., 57 (2): 102058 (2020)Logics for Specifying Concurrent Information Systems., , , and . Logics for Databases and Information Systems, page 167-198. Kluwer, (1998)Disjoint Fibring of Non-deterministic Matrices., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 242-255. Springer, (2017)A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity., and . BIAS, volume 1245 of Communications in Computer and Information Science, page 95-109. Springer, (2020)Combining Logics: Parchments Revisited., , , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 48-70. Springer, (2001)Efficient Decision Procedures for Message Deducibility and Static Equivalence., , and . Formal Aspects in Security and Trust, volume 6561 of Lecture Notes in Computer Science, page 34-49. Springer, (2010)On the Algebraization of Many-Sorted Logics., and . WADT, volume 4409 of Lecture Notes in Computer Science, page 21-36. Springer, (2006)Cryptomorphisms at Work., and . WADT, volume 3423 of Lecture Notes in Computer Science, page 45-60. Springer, (2004)