A decision procedure for term algebras with queues

Tatiana Rybina, Andrei Voronkov

Research output: Contribution to journal › Article

Access to Document

@article{5b383dac2d7a48ebaf767bb06844c416,

title = "A decision procedure for term algebras with queues",

author = "Tatiana Rybina and Andrei Voronkov",

year = "2001",

doi = "10.1145/371316.371494",

language = "English",

volume = "2",

pages = "155--181",

journal = "ACM Trans. Comput. Log",

issn = "1557-945X",

publisher = "Association for Computing Machinery",

number = "2",

}