[BFZ1994] Elimination of Cuts in First-order Finite-valued Logics

Tree

Index

Bibliography

[BFZ1994] Elimination of Cuts in First-order Finite-valued Logics

BaazFermZach94IPC (Article)
Author(s)	Baaz M., Fermüller C. G. and Zach R.
Title	"Elimination of Cuts in First-order Finite-valued Logics"
Date	1994
Journal	J. Inform. Process. Cybernet. (EIK)
Volume	29
Number	6
Page(s)	333--355

BibTeX code

@article{BaazFermZach94IPC,
  journal = {J. Inform. Process. Cybernet. (EIK)},
  volume = {29},
  title = {Elimination of Cuts in First-order Finite-valued Logics},
  author = {Baaz, M. and Fermüller, C. G. and Zach, R.},
  year = {1994},
  pages = {333--355},
  number = {6},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug