Suchergebnisse - "MSC 68Q25 Analysis of algorithms and problems complexity"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    The most nonelementary theory von Vorobyov, Sergei

    ISSN: 0890-5401, 1090-2651
    Veröffentlicht: San Diego, CA Elsevier Inc 01.05.2004
    Veröffentlicht in Information and computation (01.05.2004)
    “… We give a direct proof by generic reduction that testing validity of formulas in a decidable rudimentary theory Ω of finite typed sets (Henkin, Fundamenta …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: