Pseudo-models and propositional Horn inference

Research output: Contribution to journal › Research article › Contributed

Contributors

  • B Ganter - (Author)
  • R Krausse - (Author)

Details

Original languageEnglish
Pages (from-to)43-55
Number of pages13
JournalDiscrete Applied Mathematics
Issue number1
Publication statusPublished - 2005
Peer-reviewedNo

External IDs

Scopus 13444256100

Keywords

Keywords

  • formale Begriffsanalye