Concepedia
Statistics
Publications
31
Citations
811
H-Index
17
Active since
1985
Affiliations
Linköping University(Current)
University of Warsaw
University of Computer Sciences and Economics in Olsztyn
Max Planck Institute for Informatics
University of Warmia and Mazury in Olsztyn
Andrzej Szałas is an author at Linköping University specializing in computer science, logic, and computing.
Publications per year
1985–2014
Computing Circumscription Revisited: A Reduction Algorithm
Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · Journal of Automated Reasoning · 1997 · 134 citations
Computing, Computer Science, Algorithms +5
On the Correspondence Between Modal and Classical Logic: an Automated Approach
Andrzej Szałas · Journal of Logic and Computation · 1993 · 61 citations · Full text
Humanities, Computer Science, Mathematics +13
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
Andreas Nonnengart, Andrzej Szałas · 1999 · 53 citations · Full text
Natural Sciences, Computer Science, Mathematics +7
Concerning the semantic consequence relation in first-order temporal logic
Andrzej Szałas · Theoretical Computer Science · 1986 · 52 citations
Humanities, Computer Science, Formal Methods +11
Incompleteness of first-order temporal logic with until
Andrzej Szałas, Leszek Holenderski · Theoretical Computer Science · 1988 · 49 citations
Humanities, Computer Science, Mathematics +11
1–5 of 31