Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pieter Hooimeijer
Decision Procedures for String Constraints
Related publications
Solving String Constraints With Streaming String Transducers
Journal of Information Processing
Decision Procedures for Some Strong Hybrid Logics
Logic and Logical Philosophy
Philosophy
Multiple Decision Sequential Procedures
Reconsidering the Role of Procedures for Decision Acceptance
British Journal of Political Science
Sociology
International Relations
Political Science
Providence, Foreknowledge, and Decision Procedures
Faith and Philosophy
Philosophy
Religious Studies
Decision Procedures for Extensions of the Theory of Arrays
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
ExpTime Tableau Decision Procedures for Regular Grammar Logics With Converse
Studia Logica
Philosophy of Science
Logic
History
Daniel Kroening and Ofer Strichman: Decision Procedures
Formal Aspects of Computing
Theoretical Computer Science
Software
The Operational Commander and Staff: Procedures for Effective Decision Making
