Paul J. Voda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Extraction of Efficient Programs in I\Sigma₁-arithmetic	2019-10-01	Paper
On Herbrand Skeletons	2019-09-30	Paper
On quasitautologies Lecture Notes in Computer Science	2019-01-15	Paper
On Herbrand Skeletons (available as arXiv preprint)	2019-01-01	Paper
Extraction of Efficient Programs in $I\Sigma_1$-arithmetic (available as arXiv preprint)	2019-01-01	Paper
Complexity classes and fragments of C Information Processing Letters	2009-07-09	Paper
The Structure of Detour Degrees Lecture Notes in Computer Science	2008-05-27	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
Programming languages capturing complexity classes	2006-02-08	Paper
scientific article; zbMATH DE number 2079037 (Why is no real title available?)	2004-07-21	Paper
scientific article; zbMATH DE number 1223615 (Why is no real title available?)	2001-06-05	Paper
Computation of full logic programs using one-variable environments New Generation Computing	1986-01-01	Paper
scientific article; zbMATH DE number 4009854 (Why is no real title available?)	1986-01-01	Paper
A view of programming languages as symbiosis of meaning and computations New Generation Computing	1985-01-01	Paper

Research outcomes over time

This page was built for person: Paul J. Voda