A. A. Semenov, “About tseitin's transformation in logical equations”, Prikl. Diskr. Mat., 2009, supplement № 1, 12

Prikladnaya Diskretnaya Matematika

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Prikl. Diskr. Mat.:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Prikladnaya Diskretnaya Matematika, 2009, supplement № 1, Pages 12–13 (Mi pdm68)

This article is cited in 1 scientific paper (total in 1 paper)

Theoretical Foundations of Applied Discrete Mathematics

About tseitin's transformation in logical equations

A. A. Semenov

Full-text PDF (419 kB) Citations (1)

References:

PDF

HTML

Abstract: The report is supposed to touch upon a number of theoretical and applied issues of propositional logic. The issues share the common methodology which includes in its basis rather easy conversions of logical equations. Today science calls this kind of conversions ‘`Tseitin’s transformation’’.

Document Type: Article

UDC: 519.7

Language: Russian

Citation: A. A. Semenov, “About tseitin's transformation in logical equations”, Prikl. Diskr. Mat., 2009, supplement № 1, 12–13

Citation in format AMSBIB

\Bibitem{Sem09}

\by A.~A.~Semenov

\paper About tseitin's transformation in logical equations

\jour Prikl. Diskr. Mat.

\yr 2009

\pages 12--13

\issueinfo supplement № 1

\mathnet{http://mi.mathnet.ru/pdm68}

Linking options:

https://www.mathnet.ru/eng/pdm68

https://www.mathnet.ru/eng/pdm/y2009/i10/p12

Cycle of papers

About tseitin's transformation in logical equations
A. A. Semenov
Prikl. Diskr. Mat., 2009, supplement № 1, 12–13
About Tseitin transformation in logical equations
A. A. Semenov
Prikl. Diskr. Mat., 2009:4(6), 28–50

This publication is cited in the following 1 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	279
Full-text PDF :	93
References:	66

Что такое QR-код?

Registration to the website

Logotypes