Publications :: Search

Publication properties
Title:	Topological Semantics of Justification Logic.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2008
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. Sergei N. Artëmov 2. Elena Nogina
Download (by DOI):	10.1007/978-3-540-79709-8_7
BibTeX:	conf/csr/ArtemovN08
DBLP:	db/conf/csr/csr2008.html#ArtemovN08
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings 2008
DBLP:	db/conf/csr/csr2008.html