- 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;doi: 10.1145/3209108.3209205
- Language: eng
- Has version: https://doi.org/10.1145/3209108.3209205
- Detailed object type: rozdz
- Object type: Rozdział