VIAF

Virtual International Authority File

Search

Goranko, Valentin. National Library of Israel German National Library RERO - Library Network of Western Switzerland ISNI National Library of Poland BIBSYS National Library of Latvia Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library

VIAF ID: 42144782961059045437 (Personal)

Permalink: http://viaf.org/viaf/42144782961059045437

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 5xx's: Related Names (4)

Open Section Close SectionWorks

Title Sources
Advances in modal logic. Vol. 8, c2010: Library of Congress/NACO National Library of Israel Sudoc [ABES], France
FoLLI publications on logic, language and information Sudoc [ABES], France
Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Sudoc [ABES], France
Interval Temporal Logics and Duration Calculi Sudoc [ABES], France
Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes Sudoc [ABES], France
Logic and discrete mathematics. RERO - Library Network of Western Switzerland German National Library BIBSYS National Library of Latvia Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library
Logic as a tool : a guide to formal logical reasoning Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Temporal logics in computer science : finite-state systems National Library of Poland RERO - Library Network of Western Switzerland Sudoc [ABES], France
Temporal representation and reasoning Library of Congress/NACO
TIME 2007 Library of Congress/NACO
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics Sudoc [ABES], France
Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:42144782961059045437 (11)