Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 0:59, 19 November 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Jinzhao Wu and Mi Lu
    CWA in Multi-Valued Logics
    In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), Lanzhou, China, August, 6 - August 8, 1998, 259-270
  2. Mi Lu and Jinzhao Wu
    On Theorem proving in Annotated Logics
    Journal of Applied Non-Classical Logics 10 (2): 121-143, 2000