PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Finger, Marcelo"

Author of the publication

copydeleteadd this publication to your clipboard
The decidability of a fragment of BB'IW-logic.

, , , and . Theor. Comput. Sci., 318 (3): 373-408 (2004)

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.

Dr. Ralf Finger University of Stuttgart

 

Other publications of authors with the same name

Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases., and . TIME, page 112-118. IEEE Computer Society, (1997)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)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)DAG Sequents with Substitution.. We Will Show Them! (1), page 671-686. College Publications, (2005)InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines., , , , and . Concurrency - Practice and Experience, 16 (5): 449-459 (2004)Consolidating Probabilistic Knowledge Bases via Belief Contraction., , , , and . KR, page 125-134. AAAI Press, (2016)Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms.. CoRR, (2019)A Refuted Conjecture on Probabilistic Satisfiability., and . SBIA, volume 6404 of Lecture Notes in Computer Science, page 293-302. Springer, (2010)Sharing Resource-Sensitive Knowledge Using Combinator Logics., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 196-206. Springer, (2000)