Effective model completeness of the theory of restricted Pfafflan functions

Research output: Chapter or section in a book/report/conference proceedingChapter or section

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

Publication series

NameLecture Notes in Computer Science

Bibliographical note

ID number: ISI:000186104600044

Cite this