TU Darmstadt / ULB / TUbiblio

Small substructures and decidability issues for two-variable first-order logic

Kieronski, E. ; Otto, Martin :
Small substructures and decidability issues for two-variable first-order logic.
In: LICS 05 : proceedings of the 20th IEEE symposium on logic in computer science. - 2005, S. 448-457 .
[Konferenz- oder Workshop-Beitrag], (2005)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2005
Autor(en): Kieronski, E. ; Otto, Martin
Titel: Small substructures and decidability issues for two-variable first-order logic
Sprache: Englisch
Reihe: LICS 05 : proceedings of the 20th IEEE symposium on logic in computer science. - 2005, S. 448-457
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:21
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen