pith. sign in

Istv\'an N\'emeti

Identifiers

  • name variant Istv\'an N\'emeti 0.60 · backfill

Papers (7)

  1. Atoms in infinite dimensional free sequence-set algebras math.LO · 2019 · author #2
  2. An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds gr-qc · 2013 · author #3
  3. Using Isabelle to verify special relativity, with application to hypercomputation theory cs.LO · 2012 · author #2
  4. A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox" gr-qc · 2012 · author #3
  5. On Logical Analysis of Relativity Theories gr-qc · 2011 · author #2
  6. Closed Timelike Curves in Relativistic Computation gr-qc · 2011 · author #2
  7. A logic road from special relativity to general relativity gr-qc · 2010 · author #3

Mentions

  • 1310.1475 #3 · backfill · confidence 0.70 Istv\'an N\'emeti
  • 1211.6468 #2 · backfill · confidence 0.70 Istv\'an N\'emeti
  • 1211.2246 #3 · backfill · confidence 0.70 Istv\'an N\'emeti
  • 1105.0885 #2 · backfill · confidence 0.70 Istv\'an N\'emeti
  • 1105.0047 #2 · backfill · confidence 0.70 Istv\'an N\'emeti
  • 1005.0960 #3 · backfill · confidence 0.70 Istv\'an N\'emeti

Frequent Coauthors