Effective model completeness of the theory of restricted Pfafflan functions

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Computer Science Logic, Proceedings
Pages	544-544
Number of pages	1
Volume	2803
Publication status	Published - 2003

Name	Lecture Notes in Computer Science

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).

@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",

}