CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.

Saved in:

Bibliographic Details
Title:	CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
Authors:	Sistla, Meghana Aparna¹, mesistla@utexas.edu, Chaudhuri, Swarat¹, swarat@cs.utexas.edu, Reps, Thomas², reps@cs.wisc.edu
Source:	ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-82, 82p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3651157