Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S Riis
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Logic Journal of the IGPL
Philosophy
Related publications
Enhancement of Cloud Authorization System Using Predicate Logic
International Journal of Security and its Applications
Computer Science
Predicate Logic With Anaphora
Semantics and Linguistic Theory
Predicate Logic and Tree Automata With Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalising Design Patterns in Predicate Logic
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalization of the Pedagogical Model by the Language of Predicate Logic
Generating Efficient, Terminating Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic
Archive for Mathematical Logic
Philosophy
Logic
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic
Bulletin of the American Mathematical Society
