Вы здесь

Главная

Veith H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking: Back and Forth between Hardware and Software 2008 Clarke E., Gupta A., Jain H., Veith H. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.10.2008
СТ Progress on the State Explosion Problem in Model Checking 2001 Clarke E., Grumberg O., Jha S., Lu Y., Veith H. Lecture Notes in Computer Science 04.04.2001
СТ Quantifier Elimination in Fuzzy Logic 1999 Baaz M., Veith H. Lecture Notes in Computer Science 25.05.1999
СТ Proof Theory of Fuzzy Logics: Urquhart s C and Related Logics 1998 Baaz M., Ciabattoni A., Fermuller C., Veith H. Lecture Notes in Computer Science 02.09.1998
СТ Second Order Logic and the Weal Exponential Hierarchies 1995 Gottlob G., Leone N., Veith H. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 21.10.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013 2013 Lecture Notes in Computer Science
  1. Sharygina N.
  2. Veith H.
 26.08.2013
СБ Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010 2010 Lecture Notes in Computer Science
  1. Dawar A.
  2. Veith H.
 13.10.2010
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008 2008 Lecture Notes in Artificial Intelligence
  1. Cervesato I.
  2. Veith H.
  3. Voronkov A.
 27.01.2009
СБ 25 Years of Model Checking: History, Achievements, Perspectives 2008 Lecture Notes in Computer Science
  1. Grumberg O.
  2. Veith H.
 26.08.2008