Publications

Journal: Journal Of Logic And Computation

Number of publications: 3

2017

• Ali Rezaei Divroodi and Anh Linh Nguyen, On directed simulations in description logics, Journal Of Logic And Computation 27 (7) 2017, p. 1955–1986.see in PBN

1999

• Patrick Doherty, Witold Łukaszewicz and Andrzej Szałas, Declarative PTIME Queries for Relational Databases using Quantifier Elimination, Journal Of Logic And Computation 9 (5) 1999, p. 737–758.see in PBN

1993

• Andrzej Szałas, On the Correspondence between Modal and Classical Logic: An Automated Approach, Journal Of Logic And Computation 3 (6) 1993, p. 605–620.see in PBN