Publikacje

Czasopismo: Journal Of Logic And Computation

Liczba publikacji: 3

2017

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

1999

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

1993

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