Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rosemary Monahan
Daniel Kroening and Ofer Strichman: Decision Procedures
Formal Aspects of Computing
Theoretical Computer Science
Software
Reasoning About Comprehensions With First-Order SMT Solvers
Related publications
Providence, Foreknowledge, and Decision Procedures
Faith and Philosophy
Philosophy
Religious Studies
Multiple Decision Sequential Procedures
Decision Procedures for String Constraints
Decision Procedures for Some Strong Hybrid Logics
Logic and Logical Philosophy
Philosophy
Reconsidering the Role of Procedures for Decision Acceptance
British Journal of Political Science
Sociology
International Relations
Political Science
Defining Democracy: Voting Procedures in Decision-Making, Elections and Governance
Representation
Sociology
Political Science
The Operational Commander and Staff: Procedures for Effective Decision Making
Composite Decision Making Procedures in EU Administrative Law
Decision Procedures for Extensions of the Theory of Arrays
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
