Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Yavorskiy, Rostislav - Steklov Institute of Mathematics at St. Petersburg
Provability logics with quantifiers on proofs Rostislav E. Yavorsky \Lambda
Predicate logics for expressively strong theories. R.E. Yavorsky 1
On the Logic of the Standard Proof Predicate Rostislav E. Yavorsky ?
Translation of a fragment of AsmL specification language to Higher Order Logic
Advances in Modal Logic, F. Wolter, H. Wansing, M. de Rijke, and
Observations on the Decidability of Transitions Yuri Gurevich 1 and Rostislav Yavorsky 2#
Enhanced Control Flow Graphs in Montages Matthias Anlauff 1 , Philipp W. Kutter 2 , and
Combined Algorithm for Approximating a Finite State Abstraction of a Large System
Structural Simulation Proofs based on ASMs even for NonTerminating Programs
Experiments on Semantics Based Testing of a Anton Esin1
A High-Level Modular De nition of the Semantics of C#
########## ###### ####### ####### \Lambda email: rostik@lpcs.math.msu.ru
FIRST ORDER LOGICS OF INDIVIDUAL THEORIES ROSTISLAV E. YAVORSKY
Scenario based analysis of linear computations Vladimir Filatov1
Applying formal semantics of an object-oriented language to program invariant checking
