[BCF2001c] Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving

Tree

Index

Bibliography

[BCF2001c] Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving

BCF01LPAR (In proceedings)
Author(s)	Baaz M., Ciabattoni A. and Fermüller C. G.
Title	"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving"
Date	2001
In	Proceedings of Logic for Programming and Automated Reasoning (LPAR'2001
Number	2250
Series	LNAI
Page(s)	201-216

BibTeX code

@inproceedings{BCF01LPAR,
  address = {Cuba},
  title = {Herbrand's Theorem for Prenex {G}{\"o}del Logic and its Consequences for Theorem Proving},
  author = {Baaz, M. and Ciabattoni, A. and Fermüller, C. G.},
  year = {2001},
  booktitle = {Proceedings of Logic for Programming and Automated Reasoning (LPAR'2001},
  pages = {201-216},
  series = {LNAI},
  number = {2250},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug