Andrzej Szalas

Andrzej Szalas

University of Warsaw - Warsaw / Poland
Others
AD Scientific Index ID: 1779376
Uniwersytet Warszawski
person_outline Andrzej Szalas's MOST POPULAR ARTICLES
1-) Computing circumscription revisited: A reduction algorithmP Doherty, W Łukaszewicz, A SzałasJournal of Automated Reasoning 18 (3), 297-336, 19971791997
2-) Knowledge representation techniques: a rough set approachP Doherty, W Lukaszewicz, A SzalasSpringer, 2007125*2007
3-) Second Order Quantifier Elimination: Foundations, Computational Aspects and ApplicationsDM Gabbay, R Schmidt, A SzalasCollege Publications, 20081192008
4-) A fixpoint approach to second-order quantifier elimination with applications to correspondence theoryA Nonnengart, A SzalasLogic at Work: Essays Dedicated to the Memory of Helena Rasiowa 24, 1999109*1999
5-) Incompleteness of first-order temporal logic with untilA Szalas, L HolenderskiTheoretical Computer Science 57 (2-3), 317-325, 1988791988