Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (3)
Journals (0)
Save Search
1-3 of 3
results for
Henkin quantifiers
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability
Available access
Research article
First published 2019
One Henkin Quantifier in the Empty Vocabulary Suffices for Undecidability
Konrad Zdanowski
Fundamenta Informaticae
Preview Abstract
PDF
Select article: The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation 1
Open access
Research article
First published June, 2019
The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation 1
Ralf Wimmer,
Christoph Scholl,
Bernd Becker
Journal on Satisfiability,Boolean Modelling and Computation
Preview Abstract
PDF
Select article: On Modalities and Quantifiers
Available access
Research article
First published December 21, 2017
On Modalities and Quantifiers
Melvin Fitting
Fundamenta Informaticae
Preview Abstract
PDF
1
10 / page
