Some simple decidability proofs
Matematički Vesnik (1983)
- Volume: 35, Issue: 81, page 27-30
- ISSN: 0025-5165
Access Full Article
top
How to cite
topM. 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.