pith. sign in

Marianna Nicolosi Asmundo

Identifiers

  • name variant Marianna Nicolosi Asmundo 0.60 · backfill

Papers (2)

  1. On the satisfiability problem for a 3-level quantified syllogistic cs.LO · 2013 · author #2
  2. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version) cs.LO · 2012 · author #2

Mentions

  • 1304.2412 #2 · backfill · confidence 0.70 Marianna Nicolosi Asmundo
  • 1209.1943 #2 · backfill · confidence 0.70 Marianna Nicolosi Asmundo

Frequent Coauthors