- Unary negation fragment with equivalence relations has the finite model property
Description
- Title: Unary negation fragment with equivalence relations has the finite model property
- Collective work title: Proceedings of the 33rd Annual ACM
- Creator: Danielski, Daniel ; Kieroński, Emanuel
- Pages: S. 285-294
- Description: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
- Language of abstract: eng
- Publisher: ACM
- Place of publishing: New York
- Date issued: 2018
- Type: Tekst
- Identifier: ISBN 9781450355834 ; https://doi.org/10.1145/3209108.3209205
- Language: eng
- Has version: https://doi.org/10.1145/3209108.3209205
- Detailed object type: rozdz
- Object type: Rozdział