One quantifier alternation in first-order logic with modular predicates
, und .
RAIRO theoretical informatics and applications 49 (1): 1-22 (2015)

  • @unibiblio
  • @dblp
Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung
Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.