| Original language | English |
|---|---|
| Pages (from-to) | 43-55 |
| Number of pages | 12 |
| Journal | Logique et Analyse |
| Volume | 149 |
| Issue number | 38 |
| Publication status | Published - 1995 |
Cite this
Buekens, F. A. I. (1995). A Decision Procedure for Von Wrights OBS-Calculus. Logique et Analyse, 149(38), 43-55.
@article{0177696d023b4aab9dce8b46684b451c,
title = "A Decision Procedure for Von Wrights OBS-Calculus",
author = "F.A.I. Buekens",
note = "Pagination: 12",
year = "1995",
language = "English",
volume = "149",
pages = "43--55",
journal = "Logique et Analyse",
issn = "0024-5836",
publisher = "CENTRE NATIONAL BELGE RECHERCHES LOGIQUE",
number = "38",
}
Buekens, FAI 1995, 'A Decision Procedure for Von Wrights OBS-Calculus', Logique et Analyse, vol. 149, no. 38, pp. 43-55.
A Decision Procedure for Von Wrights OBS-Calculus. / Buekens, F.A.I.
In: Logique et Analyse, Vol. 149, No. 38, 1995, p. 43-55.Research output: Contribution to journal › Article › Scientific › peer-review
TY - JOUR
T1 - A Decision Procedure for Von Wrights OBS-Calculus
AU - Buekens, F.A.I.
N1 - Pagination: 12
PY - 1995
Y1 - 1995
M3 - Article
VL - 149
SP - 43
EP - 55
JO - Logique et Analyse
JF - Logique et Analyse
SN - 0024-5836
IS - 38
ER -
Buekens FAI. A Decision Procedure for Von Wrights OBS-Calculus. Logique et Analyse. 1995;149(38):43-55.