Searching for authors named Andrzej Szalas – sorted by Relevance.
10 documents found, showing 1 through 10.
-
On Natural Deduction in First-Order Fixpoint Logics
- …On Natural Deduction in First-Order Fixpoint Logics Andrzej SZA/LAS y Institute of Informatics…
- Add To MetaCart
-
On the Correspondence Between Modal and Classical Logic: an Automated Approach
- …On the Correspondence Between Modal and Classical Logic: an Automated Approach Andrzej SZA LAS…
- Cited by 21 (2 self) – Add To MetaCart
-
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic
- …On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic Andrzej SZA…
- Cited by 4 (1 self) – Add To MetaCart
-
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
- … Theory Andreas Nonnengart and Andrzej Sza/las MPI--I--95--2-007 March Author's Address Andreas…
- Cited by 14 (3 self) – Add To MetaCart
-
A Reduction Result for Circumscribed Semi-Horn Formulas
- … Andrzej Sza/las y Abstract Circumscription has been perceived as an elegant mathematical technique…
- Cited by 8 (8 self) – Add To MetaCart
-
General Domain Circumscription and its First-Order Reduction
- … / Lukaszewicz 2?? , Andrzej Sza/las 2??? 1 Department of Computer and Information Science, Linkoping…
- Cited by 5 (5 self) – Add To MetaCart
-
Declarative PTIME Queries for Relational Databases using Quantifier Elimination
- … Witold / Lukaszewicz Andrzej Sza/las January 19, 1999 Abstract In this paper, we consider the problem…
- Cited by 4 (4 self) – Add To MetaCart
-
Meta-Queries on Deductive Databases
- …Meta-Queries on Deductive Databases Patrick Doherty Jaros/law Kachniarz y Andrzej Sza/las z…
- Cited by 1 (0 self) – Add To MetaCart
-
Computing Circumscription Revisited: Preliminary Report
- … Science Linkoping University S-581 83 Linkoping, Sweden Witold / Lukaszewicz y Andrzej Sza/las y…
- Cited by 12 (8 self) – Add To MetaCart
-
Towards a Logical Analysis of Biochemical Pathways
- …, and Andrzej Szalas Department of Computer and Information Science, SE-581 83 Linköping, Sweden, email: {patdo…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
