Daniel Danielski

According to our database¹, Daniel Danielski authored at least 3 papers between 2018 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Finite Satisfiability of Unary Negation Fragment with Transitivity.

[BibT_eX]

[DOI]

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Unary negation fragment with equivalence relations has the finite model property.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018