Publications

Entries sorted by: 7. Library - 2. All Years - 8. Journal Short Titles

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Journal Full Title / ISSN	Year	Author/Editor		Title
Parallel Processing Letters
STTT
Stud. Log.
	Studia Logica 0039-3215	1998	Basin, David A. Matthews, Seán Viganò, Luca		Natural Deduction for Non-Classical Logics In: Studia Logica [60], 119-160
TECS
Theor. Comput. Sci.
TOPLAS
(Not Categorized)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)