Simon Kramer

Identifiers

• name variant Simon Kramer 0.60 · backfill

Papers (10)

1. A Modularity Bug in Java 8 cs.PL · 2017 · author #1
2. Quantum Logic as Classical Logic quant-ph · 2014 · author #1
3. A Galois-Connection between Cattell's and Szondi's Personality Profiles cs.CE · 2014 · author #1
4. Computer-Aided Discovery and Categorisation of Personality Axioms cs.CE · 2014 · author #1
5. A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles cs.CE · 2014 · author #1
6. Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) math.LO · 2013 · author #1
7. Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) cs.LO · 2012 · author #1
8. Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders) math.LO · 2012 · author #1
9. Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer) cs.LO · 2012 · author #1
10. A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) cs.LO · 2012 · author #1

Mentions

• 1406.3526 #1 · backfill · confidence 0.70 Simon Kramer
• 1405.0877 #1 · backfill · confidence 0.70 Simon Kramer
• 1403.6048 #1 · backfill · confidence 0.70 Simon Kramer
• 1403.2000 #1 · backfill · confidence 0.70 Simon Kramer
• 1309.1328 #1 · backfill · confidence 0.70 Simon Kramer
• 1209.1885 #1 · backfill · confidence 0.70 Simon Kramer
• 1208.5913 #1 · backfill · confidence 0.70 Simon Kramer
• 1208.1842 #1 · backfill · confidence 0.70 Simon Kramer
• 1201.3667 #1 · backfill · confidence 0.70 Simon Kramer

Frequent Coauthors

• Joshua Sack 1 shared papers