A decision procedure for term algebras with queues

Research output: Contribution to journalArticle

  • Authors:
  • Tatiana Rybina
  • Andrei Voronkov

Bibliographical metadata

Original languageEnglish
Pages (from-to)155-181
Number of pages27
JournalACM Trans. Comput. Log
Volume2
Issue number2
DOIs
Publication statusPublished - 2001