Goranko, Valentin.
VIAF ID: 42144782961059045437 ( Personal )
Permalink: http://viaf.org/viaf/42144782961059045437
Preferred Forms
- 100 1 _ ‡a Goranko, Valentin (sparse)
-
-
-
- 100 1 _ ‡a Goranko, Valentin
- 100 1 _ ‡a Goranko, Valentin
- 100 1 _ ‡a Goranko, Valentin
-
-
-
-
- 100 1 _ ‡a Goranko, Valentin
-
5xx's: Related Names (4)
- 510 2 _ ‡a John Wiley & Sons
- 510 2 _ ‡a Stockholms Universitet
- 510 2 _ ‡a Stockholms universitet ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Johannesburg ‡b Department of Mathematics ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Advances in modal logic. Vol. 8, c2010: | |
FoLLI publications on logic, language and information | |
Interval Temporal Logics and Duration Calculi | |
Lectures on Logic and Computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes | |
Logic and Discrete Mathematics A Concise Introduction | |
Logic as a Tool A Guide to Formal Logical Reasoning | |
Temporal logics in computer science : finite-state systems | |
Temporal representation and reasoning | |
TIME 2007 | |
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics | |
Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. |