[BF2003] A translation characterizing the constructive content of classical theories

Tree

Index

Bibliography

[BF2003] A translation characterizing the constructive content of classical theories

BF03LPAR (In proceedings)
Author(s)	Baaz M. and Fermüller C. G.
Title	"A translation characterizing the constructive content of classical theories"
Date	September 2003
In	Logic for Programming and Automated Reasoning (LPAR'2003)
Editor(s)	Moshe Y. vardi A. V.
Number	2850
Series	LNAI
Page(s)	107-121

BibTeX code

@inproceedings{BF03LPAR,
  title = {A translation characterizing the constructive content of classical theories},
  year = {2003},
  booktitle = {Logic for Programming and Automated Reasoning (LPAR'2003)},
  pages = {107-121},
  editor = {Moshe Y.˜Vardi, Andrei Vorokov},
  number = {2850},
  month = {September},
  address = {Almaty, Kazakhstan},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNAI},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug