Discover open access scientific publications

Search, annotate, share and cite publications

Publications by M V Sleptsova

Formalization of the Pedagogical Model by the Language of Predicate Logic

English

Related publications

Formalization of the Program Reference Language.

English

Predicate Logic With Anaphora

Semantics and Linguistic Theory

English

Enhancement of Cloud Authorization System Using Predicate Logic

International Journal of Security and its Applications

Computer Science

English

Formalising Design Patterns in Predicate Logic

English

Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Logic Journal of the IGPL

English

Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Participles as Part of a Predicate in the Old-Russian Language

Филолог – часопис за језик књижевност и културу

English

The Reflection of a Person in a Language: Copula-Substantive Predicate

Bulletin of the Moscow State Regional University (Russian philology)

English

Description Formalization of the Components of Education Process Model

English