Preskoči na sadržaj
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Napredno
  • Existential Second−Order Logic...
  • Citiraj ovo
  • Pošalji tekstualnu poruku
  • Pošalji ovo e-mailom
  • Ispiši
  • Izvezi zapis
    • Izvezi u RefWorks
    • Izvezi u EndNoteWeb
    • Izvezi u EndNote
  • Stalna poveznica
Existential Second−Order Logic over Strings

Existential Second−Order Logic over Strings

Pokaži ostale verzije (1)
Bibliografski detalji
Glavni autori: Eiter, T, Gottlob, G, Gurevich, Y
Format: Conference item
Izdano: 1998
  • Primjerci
  • Opis
  • Ostale verzije (1)
  • Slični predmeti
  • Prikaz za djelatnike knjižnice

Slični predmeti

  • Existential second−order logic over strings
    od: Eiter, T, i dr.
    Izdano: (2000)
  • Second−Order Logic over Strings: Regular and Non−regular Fragments
    od: Eiter, T, i dr.
    Izdano: (2001)
  • Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems
    od: Eiter, T, i dr.
    Izdano: (1996)
  • Existential second−order logic over graphs: Charting the tractability frontier
    od: Gottlob, G, i dr.
    Izdano: (2004)
  • Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
    od: Gottlob, G, i dr.
    Izdano: (2000)

Opcije pretrage

  • Povijest pretrage
  • Napredna pretraga

Pronađi više

  • Pregledaj katalog
  • Pregledaj abecednim redom
  • Istraži kanale
  • Rezervacije tečajeva
  • Novi predmeti

Trebaš pomoć?

  • Savjeti za pretragu
  • Upitaj knjižničara
  • Često postavljena pitanja