×

A decision procedure for term algebras with queues. (English) Zbl 1171.68557


MSC:

68Q65 Abstract data types; algebraic specification
03B25 Decidability of theories and sets of sentences
03C10 Quantifier elimination, model completeness, and related topics
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI