Some simple decidability proofs

M. Kapetanović

Matematički Vesnik (1983)

  • Volume: 35, Issue: 81, page 27-30
  • ISSN: 0025-5165

How to cite

top

M. Kapetanović. "Some simple decidability proofs." Matematički Vesnik 35.81 (1983): 27-30. <http://eudml.org/doc/259889>.

@article{M1983,
author = {M. Kapetanović},
journal = {Matematički Vesnik},
keywords = {analytic tableaux; prefixed formulae},
language = {eng},
number = {81},
pages = {27-30},
publisher = {Društvo matematičara Srbije},
title = {Some simple decidability proofs},
url = {http://eudml.org/doc/259889},
volume = {35},
year = {1983},
}

TY - JOUR
AU - M. Kapetanović
TI - Some simple decidability proofs
JO - Matematički Vesnik
PY - 1983
PB - Društvo matematičara Srbije
VL - 35
IS - 81
SP - 27
EP - 30
LA - eng
KW - analytic tableaux; prefixed formulae
UR - http://eudml.org/doc/259889
ER -

NotesEmbed ?

top

You must be logged in to post comments.