TU Darmstadt / ULB / TUbiblio

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

Kieronski, E. and Otto, Martin (2005):
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, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Kieronski, E. and Otto, Martin
Title: Small substructures and decidability issues for two-variable first-order logic
Language: English
Series Name: LICS 05 : proceedings of the 20th IEEE symposium on logic in computer science. - 2005, S. 448-457
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:21
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item