Research

Effective model completeness of the theory of restricted Pfafflan functions


Reference:

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

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Details

Item Type Book Sections
CreatorsVorobjov, N.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5507
Additional InformationID number: ISI:000186104600044

Export

Actions (login required)

View Item