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