Concepedia

Sergey Babenyshev

SB

3

Publications

108

Citations

3

H-Index

2010

Active since

Affiliations

Manchester Metropolitan University(Current)

Siberian Federal University

Sergey Babenyshev is an author at Manchester Metropolitan University specializing in formal methods, automated reasoning, and formal verification.

ORCID

Top concepts

Publications per year

2010–2011

3

Publications

3

Linear Temporal Logic LTL: Basis for Admissible Rules

Sergey Babenyshev, Vladimir V. Rybakov · Journal of Logic and Computation · 2010 · 51 citations

, , +12

Unification in linear temporal logic LTL

Sergey Babenyshev, Vladimir V. Rybakov · Annals of Pure and Applied Logic · 2011 · 31 citations

, , +5

A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt et al. · Electronic Notes in Theoretical Computer Science · 2010 · 26 citations · Full text

, , +19

Rows per page

1–3 of 3