| Original language | English |
|---|---|
| Title of host publication | Computer Science Logic, Proceedings |
| Pages | 544-544 |
| Number of pages | 1 |
| Volume | 2803 |
| Publication status | Published - 2003 |
Publication series
| Name | Lecture 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 proceeding › Chapter
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).
@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 -