( en | de | ru )

 

Disambiguation of "Finger, Marcelo"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Temporal Logic Systems.

, and . Notre Dame J. Formal Log., 37 (2): 204-232 (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.

Marcelo Ephraim

Marcelo Trallero

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Backes

 

Other publications of authors with the same name

DAG Sequents with Substitution.. We Will Show Them! (1), page 671-686. College Publications, (2005)Sharing Resource-Sensitive Knowledge Using Combinator Logics., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 196-206. Springer, (2000)A Refuted Conjecture on Probabilistic Satisfiability., and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 293-302. Springer, (2010)A Logic Based Algorithm for Solving Probabilistic Satisfiability., and . IBERAMIA, volume 6433 of Lecture Notes in Computer Science, page 453-462. Springer, (2010)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions., , , , , , and . Knowl.-Based Syst., 15 (3): 147--167 (2002)Proving properties of binary classification neural networks via Łukasiewicz logic., and . Log. J. IGPL, 31 (5): 805-821 (September 2023)Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs., and . Logic Journal of the IGPL, 15 (5-6): 553-575 (2007)Intelligent mobile multi-robotic systems: some challenges and possible solutions., , , , and . ICINCO, page 479-485. INSTICC Press, (2005)Labelled Natural Deduction for Substructural Logics., , and . Logic Journal of the IGPL, 7 (3): 283-318 (1999)