Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Griebl
Quantifier Elimination in Automatic Loop Parallelization
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Related publications
Transfer Function Synthesis Without Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Automatic Binary Runtime Loop De-Parallelization Using On-Stack Replacement
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Optimal Loop Parallelization
ACM SIGPLAN Notices
Quantifier Elimination for Neocompact Sets
Journal of Symbolic Logic
Philosophy
Logic
Software for Quantifier Elimination in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantifier Elimination for the Relative Frobenius
Quantifier Elimination in Tame Infinite P-Adic Fields
Journal of Symbolic Logic
Philosophy
Logic
Automatic Parallelization of Nested Loop Programs for Non-Manifest Real-Time Stream Processing Applications
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
