Journal of Applied Logic 4 (4):359-365 (2006)

Authors
Christoph Benzmueller
Freie Universität Berlin
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.jal.2005.10.001
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Discrete Mathematics.S. K. Chakraborty & B. K. Sarkar - 2011 - Oxford University Press India.
Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Explicit Graphs and Computer-Aided Notation.Wolfram Kahl - 1999 - Semiotica 125 (1-3):143-154.

Analytics

Added to PP index
2016-06-30

Total views
7 ( #976,537 of 2,348,443 )

Recent downloads (6 months)
2 ( #329,213 of 2,348,443 )

How can I increase my downloads?

Downloads

My notes