Proof theory, Semantics and Algebra for Normative System

Reference : Proof theory, Semantics and Algebra for Normative System


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/14606

Title :	Proof theory, Semantics and Algebra for Normative System
Language :	English
Author, co-author :	Sun, Xin [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2013
Main document title :	Logic, Rationality, and Interaction, 4th International workshop
Peer reviewed :	Yes
Audience :	International
Event name :	4th International Workshop on Logic, Rationality and Interaction
Event date :	from 9-10-2013 to 12-10-2013
Event place (city) :	Hangzhou
Event country :	China
Permalink :	http://hdl.handle.net/10993/14606

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	official vewrsion.pdf		Publisher postprint	186.83 kB	View/Open

All documents in ORBi^lu are protected by a user license.