VSL 2014: VIENNA SUMMER OF LOGIC 2014

Citations for the Test-of-Time Award from 1994

Author: Dexter Kozen

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Citations for the Test-of-Time Award from 1994
Authors:Dexter Kozen
Proceedings:CSL-LICS 2014 Full and Final Proceedings
Editors: Dale Miller and Laura Kovacs
Keywords:
Abstract:
Pages:1
Talk:Jul 18 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program