مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3093522

Title :

[Copyright notice]

fYear :

2012

fDate :

25-28 June 2012

Abstract :

The following topics are dealt with: logic; computer science; automata; and game.

Keywords :

automata theory; computer science; formal logic; game theory; automata; computer science; game; logic;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on

Conference_Location :

Dubrovnik

ISSN :

1043-6871

Print_ISBN :

978-1-4673-2263-8

Type :

conf

DOI :

10.1109/LICS.2012.3

Filename :

6280485

Link To Document :