Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance. | BibSonomy
@dblp

Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.

. Logic and Program Semantics, том 7230 из Lecture Notes in Computer Science, стр. 326-327. Springer, (2012)

Линки и ресурсы

URL:
ключ BibTeX:
conf/birthday/Harel12
искать в:

Комментарии и рецензии  
(0)

Комментарии, или рецензии отсутствуют. Вы можете их написать!

Tags


Цитировать эту публикацию