Felix Weiss

Identifiers

• name variant Felix Weiss 0.60 · backfill

Papers (4)

1. The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers cs.CC · 2012 · author #6
2. Intuitionistic implication makes model checking hard cs.CC · 2011 · author #2
3. The model checking problem for intuitionistic propositional logic with one variable is AC1-complete cs.CC · 2010 · author #2
4. The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I cs.LO · 2009 · author #6

Mentions

• 1204.1196 #6 · backfill · confidence 0.70 Felix Weiss
• 1107.1963 #2 · backfill · confidence 0.70 Felix Weiss
• 1012.3828 #2 · backfill · confidence 0.70 Felix Weiss
• 0906.1489 #6 · backfill · confidence 0.70 Felix Weiss

Frequent Coauthors

• Martin Mundhenk 4 shared papers
• Arne Meier 2 shared papers
• Michael Thomas 2 shared papers
• Thomas Schneider 2 shared papers
• Stefan G\"oller 1 shared papers
• Volker Weber 1 shared papers