Skip to main content
Sign in
Summit Research Repository
SIGN IN
SFU Mail
goSFU
Canvas
Library Catalogue
Search
Search
This site
SFU.ca
Submit your Research
Menu
Main navigation
Home
Collections
About
Contact
Search Summit
Search
Search
Sort by
Relevance
Title
Order
Asc
Desc
Search
Displaying 1 - 8 of 8
Arithmetic and Modularity in Declarative Languages for Knowledge Representation
Author:
Tasharrofi, Shahab
Date created:
2013-12-16
Enfragmo: A System for Grounding Extended First-Order Logic to SAT
Author:
Aavani, Amir
Date created:
2014-02-18
On the correlation of completely multiplicative functions
Author:
Ganguli, Himadri Sekhar
Date created:
2013-08-08
A new method for functional decomposition of rational invariants, and the solution of Abel's differential equation via the equivalence method
Author:
Roche, Austin Duncan
Date created:
2010-08-03
A language-independent framework for reasoning about preferences for declarative problem solving
Author:
Ensan, Alireza
Date created:
2019-04-10
Simultaneous prime values of binary forms
Author:
Lam, Cho Ho
Date created:
2019-08-16
Strong Normality, Modular Normality, and Flat Polynomials: Applications of Probability in Number Theory and Analysis
Author:
Belshaw, Adrian William
Date created:
2013-12-13
Pisot and salem numbers from polynomials of height one
Author:
Mukunda, Keshav
Date created:
2007