Concepedia

Lidia Tendera

LT

14

Publications

612

Citations

13

H-Index

2000

Active since

Affiliations

University of Opole(Current)

Institute of Mathematics

University of Manchester

Institute of Computer Science

University of Wrocław

Lidia Tendera is an author at University of Opole specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSatisfiabilityFormal VerificationComputational ComplexityProof ComplexityClassicsVerification

Publications per year

2000–2019

14

Publications

14

Complexity of two-variable logic with counting

Leszek Pacholski, Wiesław Szwast, Lidia Tendera · 2002 · 91 citations

Circuit Complexity, Engineering, Abstract Complexity +15

The complexity of finite model reasoning in description logics

Carsten Lutz, Ulrike Sattler, Lidia Tendera · Information and Computation · 2005 · 75 citations

Engineering, Automated Reasoning, Description Logic +5

Complexity Results for First-Order Two-Variable Logic with Counting

Leszek Pacholski, WiesL aw Szwast, Lidia Tendera · SIAM Journal on Computing · 2000 · 62 citations

Circuit Complexity, Artificial Intelligence, Complexity Results +13

The guarded fragment with transitive guards

Wiesław Szwast, Lidia Tendera · Annals of Pure and Applied Logic · 2004 · 52 citations

Engineering, Security Management, Information Security +7

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations

Emanuel Kieroński, Lidia Tendera · 2009 · 50 citations

Engineering, Substructural Logic, Automated Reasoning +14

Rows per page

1–5 of 14