BibTeX
CSL-JSON
MLA
Harvard
Transfer Function Synthesis without Quantifier Elimination
release_spbresxlsfazhlmuf3hpi4iike
by
Jörg Brauer, Andy King
Archived Files and Locations
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2011
chapter
Stage
published
Year 2011
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar