Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Rybakov, Vladimir V. - Department of Computing and Mathematics, Manchester Metropolitan University
2001 -2009: Selected Publications of Vladimir V. Rybakov
Int. J. Advanced Intelligence Paradigms, Vol. Modelling of Chance Discovery in variations
Theory Comput Syst (2008) 43: 254271 DOI 10.1007/s00224-007-9059-9
Linear Temporal Logic LT LK extended by Multi-Agent Logic Kn with Interacting
Multi-modal and Temporal Logics with Universal Formula--Reduction of
SELECTED PUBLICATIONS of Vladimir V. Rybakov
Logical Consecutions in Discrete Linear Temporal Logic
Logics of Kripke meta-models SERGEY BABENYSHEV, Department of Computing and Mathematics,
Logics with the universal modality and admissible consecutions
UNCORRECTED 2 Logic of knowledge and discovery via interacting agents Decision
Curriculum Vitae Vladimir V. Rybakov
UNCORRECTED APAL: 1825 + Model pp. 114 (col. fig: NIL)
Curriculum Vitae (events until 2005) Prof. Dr. (Chair) Vladimir V. Rybakov
2001 -2009: Selected Publications of Vladimir V. Rybakov
SELECTED PUBLICATIONS of Vladimir V. Rybakov
