Effective model completeness of the theory of restricted Pfafflan functions

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationComputer Science Logic, Proceedings
Pages544-544
Number of pages1
Volume2803
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science

Cite this

Vorobjov, N. (2003). Effective model completeness of the theory of restricted Pfafflan functions. In Computer Science Logic, Proceedings (Vol. 2803, pp. 544-544). (Lecture Notes in Computer Science).

Effective model completeness of the theory of restricted Pfafflan functions. / Vorobjov, N.

Computer Science Logic, Proceedings. Vol. 2803 2003. p. 544-544 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Vorobjov, N 2003, Effective model completeness of the theory of restricted Pfafflan functions. in Computer Science Logic, Proceedings. vol. 2803, Lecture Notes in Computer Science, pp. 544-544.
Vorobjov N. Effective model completeness of the theory of restricted Pfafflan functions. In Computer Science Logic, Proceedings. Vol. 2803. 2003. p. 544-544. (Lecture Notes in Computer Science).
Vorobjov, N. / Effective model completeness of the theory of restricted Pfafflan functions. Computer Science Logic, Proceedings. Vol. 2803 2003. pp. 544-544 (Lecture Notes in Computer Science).
@inbook{2fff2cd28f4a4991a0107bd4300a0c28,
title = "Effective model completeness of the theory of restricted Pfafflan functions",
author = "N Vorobjov",
note = "ID number: ISI:000186104600044",
year = "2003",
language = "English",
isbn = "0302-9743",
volume = "2803",
series = "Lecture Notes in Computer Science",
pages = "544--544",
booktitle = "Computer Science Logic, Proceedings",

}

TY - CHAP

T1 - Effective model completeness of the theory of restricted Pfafflan functions

AU - Vorobjov, N

N1 - ID number: ISI:000186104600044

PY - 2003

Y1 - 2003

M3 - Chapter

SN - 0302-9743

VL - 2803

T3 - Lecture Notes in Computer Science

SP - 544

EP - 544

BT - Computer Science Logic, Proceedings

ER -