Logic with equality: partisan corroboration and shifted pairing

Authors:
Yuri Gurevich;Margus Veanes
Affiliations:
Microsoft Research, Redmond, WA;Max-Planck-Institut für Informatik, Saarbrücken, Germany
Venue:
Information and Computation
Year:
1999

On Bounded Reachability of Programs with Set Comprehensions

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Yuri, logic, and computer science

Fields of logic and computation
Multiple congruence relations, first-order theories on terms, and the frames of the applied pi-calculus

TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications

Hi-index	0.00