Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Deciding First-Order Satisfiability when Universal and Existential Variables are Separated

Sturm, T., Voigt, M., & Weidenbach, C. (2016). Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (pp. 86-95). New York, NY: ACM. doi:10.1145/2933575.2934532.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sturm, Thomas1, Autor           
Voigt, Marco1, Autor           
Weidenbach, Christoph1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20162016
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: SturmLICS2016
DOI: 10.1145/2933575.2934532
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 31st Annual ACM-IEEE Symposium on Logic in Computer Science
Veranstaltungsort: New York, NY, USA
Start-/Enddatum: 2016-07-05 - 2016-07-08

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science
  Kurztitel : LICS 2016
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: New York, NY : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 86 - 95 Identifikator: ISBN: 78-1-4503-4391-6