- Two-variable logics with counting and semantic constraints
Description
- Title: Two-variable logics with counting and semantic constraints
- Journal title: ACM SIGLOG News
- Creator: Kieroński, Emanuel ; Pratt-Hartmann, Ian ; Tendera, Lidia
- Pages: s. 22-43
- Description: Zawiera ilustracje. ; Bibliogr. ; Streszcz. w jęz. ang.
- Language of abstract: eng
- Date issued: 2018
- Type: Tekst
- Identifier: https://doi.org/10.1145/3242953.3242958
- Language: eng
- Detailed object type: art
- Object type: Artykuł
- Location: Vol. 5, iss. 3 (2018)