- On finite satisfiability of two-variable first-order logic with equivalence relations
Opis
- Tytuł: On finite satisfiability of two-variable first-order logic with equivalence relations
- Tytuł pracy zbiorowej: 24th Annual IEEE Symposium on Logic in Computer Science, 2009 : LICS '09 ; 11 - 14 Aug. 2009, Los Angeles, California ; proceedings. -
- Twórca: Kieroński, Emanuel ; Tendera, Lidia
- Strony: S. 123-132
- Opis: Zawiera streszczenie. ; Zawiera bibliografię.
- Język Abstraktu: eng
- Wydawca: IEEE Computer Society
- Miejsce wydania: Piscataway
- Data wydania: 2009
- Typ: Tekst
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.1109/LICS.2009.39
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
