Decidability and complexity of simultaneous rigid E-unification with one variable and related results

Authors:
Anatoli Degtyarev;Yuri Gurevich;Paliath Narendran;Margus Veanes;Andrei Voronkov
Affiliations:
Uppsala Univ., Uppsala, Sweden;Univ. of Michigan, Ann Arbor;Univ. at Albany-SUNY, Albany, New York;Max-Planck-Institut für Informatik, Germany;Uppsala Univ., Uppsala, Sweden
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 3

Decidable Fragments of Simultaneous Rigid Reachability

ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Yuri, logic, and computer science

Fields of logic and computation
DKAL and Z3: a logic embedding experiment

Fields of logic and computation

Quantified Score

Hi-index	5.23

Visualization

Abstract