Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Abdelkader Kersani
Completeness and Decidability Results for First-Order Clauses With Indices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Blocked Clauses in First-Order Logic
Completeness for First-Order Properties on Sparse Structures With Algorithmic Applications
The Completeness of the First-Order Functional Calculus
Journal of Symbolic Logic
Philosophy
Logic
On Arithmetical Completeness of First-Order Logics of Provability
Complexity Results for First-Order Two-Variable Logic With Counting
SIAM Journal on Computing
Mathematics
Computer Science
Controllability Results for First and Second Order Evolution Inclusions With Nonlocal Conditions
Annales Polonici Mathematici
Mathematics
Dynamic Logic for Data-Aware Systems: Decidability Results
Query Order and NP-completeness
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
