( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.

, и . Fundam. Informaticae, 40 (4): 317-333 (1999)

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.

Pedro López Fariñas

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

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

An Ordinal View of Independence with Application to Plausible Reasoning, , , и . CoRR, (2013)DAL - A Logic for Data Analysis., и . FGCS, стр. 254-261. OHMSHA Ltd. Tokyo and North-Holland, (1984)Metaprogramming Through Intensional Deduction: Some Examples., и . META, том 649 из Lecture Notes in Computer Science, стр. 11-25. Springer, (1992)A New Tractable Subclass of the Rectangle Algebra., , и . IJCAI, стр. 442-447. Morgan Kaufmann, (1999)Contextual Negations and Reasoning with Contradictions., , и . IJCAI, стр. 532-537. Morgan Kaufmann, (1991)Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates., , , и . Theory Pract. Log. Program., 18 (3-4): 390-405 (2018)A General Framework for Pattern-Driven Modal Tableaux., и . Logic Journal of the IGPL, 10 (1): 51-83 (2002)Modal Tableaux: Completeness vs. Termination., , , и . We Will Show Them! (1), стр. 587-614. College Publications, (2005)Tableaux Based Decision Procedures for Modal Logics of Confluence and Density., и . Fundam. Informaticae, 40 (4): 317-333 (1999)Possibility Theory and Independence., и . IPMU, том 945 из Lecture Notes in Computer Science, стр. 292-301. Springer, (1994)