[BP2004b] Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type ω

Tree

Index

Bibliography

[BP2004b] Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$

BP04JLC (Unpublished)
Author(s)	Baaz M. and Preining N.
Title	"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ "
Date	2004
Note	submitted

BibTeX code

@unpublished{BP04JLC,
  journal = {Journal for Logic and Computation},
  title = {Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$},
  author = {Baaz, M. and Preining, N.},
  year = {2004},
  note = {submitted},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug