Skip to content

No results

Home
About VCLA
Activities & Events
Graduate Studies
LogiCS@TUWien
- Programme
- Training
- Researchers
- Supervisors
- Team
- Student Guide Vienna
- FAQ
Open Positions
IN MEMORIAM
Press
Contact

Vienna Center for Logic and Algorithms

Home
About VCLA
Activities & Events
Graduate Studies
LogiCS@TUWien
- Programme
- Training
- Researchers
- Supervisors
- Team
- Student Guide Vienna
- FAQ
Open Positions
IN MEMORIAM
Press
Contact

Vienna Center for Logic and Algorithms

Vladimir Zakharov

Equivalence Checking Problem: 1953 - 2011 (survey)
May 31st, 2012

Katarina Singer
May 30, 2012
Talks

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung.

VCLA – Vienna Center for Logic and Algorithms
TU Wien, Favoritenstraße 9-11, 1040 Wien, Austria

Privacy Policy | Impressum