Home › Entities › academia › Deciding and Interpolating Algebraic Data Types by Reduction

Deciding and Interpolating Algebraic Data Types by Reduction

Research article (2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017) · cited 17× · AI/ML
academia openalex:W2900560136
Press Enter · cited answer in seconds

Deciding and Interpolating Algebraic Data Types by Reduction

Summary

Deciding and Interpolating Algebraic Data Types by Reduction is a scholarly article[1].

Key Facts

  • Deciding and Interpolating Algebraic Data Types by Reduction's instance of is recorded as scholarly article[2].

Related Entities

Hossein Hojjat

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Deciding and Interpolating Algebraic Data Types by Reduction. Retrieved May 24, 2026, from https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction
MLA “Deciding and Interpolating Algebraic Data Types by Reduction.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction.
BibTeX @misc{4ortxyz_deciding-and-interpolating-algebraic-data-types-by-reduction_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Deciding and Interpolating Algebraic Data Types by Reduction}}, year = {2026}, url = {https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Deciding and Interpolating Algebraic Data Types by Reduction — https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/deciding-and-interpolating-algebraic-data-types-by-reduction · Last refreshed: