Home › Entities › academia › Solving constrained Horn clauses modulo algebraic data types and recursive functions

Solving constrained Horn clauses modulo algebraic data types and recursive functions

Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 26× · AI/ML
academia openalex:W4206670752
Press Enter · cited answer in seconds

Solving constrained Horn clauses modulo algebraic data types and recursive functions

Summary

Solving constrained Horn clauses modulo algebraic data types and recursive functions is a scholarly article[1].

Key Facts

  • Solving constrained Horn clauses modulo algebraic data types and recursive functions's instance of is recorded as scholarly article[2].

Related Entities

Sharon Shoham Buchbinder

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). Solving constrained Horn clauses modulo algebraic data types and recursive functions. Retrieved May 24, 2026, from https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions
MLA “Solving constrained Horn clauses modulo algebraic data types and recursive functions.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions.
BibTeX @misc{4ortxyz_solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Solving constrained Horn clauses modulo algebraic data types and recursive functions}}, year = {2026}, url = {https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Solving constrained Horn clauses modulo algebraic data types and recursive functions — https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/solving-constrained-horn-clauses-modulo-algebraic-data-types-and-recursive-functions · Last refreshed: