- Complexity of two-variable logic with counting
Description
- Title: Complexity of two-variable logic with counting
- Collective work title: 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland : proceedings
- Creator: Pacholski, Leszek ; Szwast, W ; Tendera, L
- Pages: S. 318-327
- Publisher: Calif.
- Place of publishing: Los Alamitos
- Date issued: 1997
- Type: Tekst
- Language: eng
- Detailed object type: rozdz
- Object type: Rozdział