Logiweb
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Logiweb. / Grue, Klaus.
In: Electronic Notes in Theoretical Computer Science, No. 93, 2004, p. 70-101.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Grue, K 2004, 'Logiweb', Electronic Notes in Theoretical Computer Science, no. 93, pp. 70-101.
APA
Grue, K. (2004). Logiweb. Electronic Notes in Theoretical Computer Science, (93), 70-101.
Vancouver
Grue K. Logiweb. Electronic Notes in Theoretical Computer Science. 2004;(93):70-101.
Author
Bibtex
@article{b0b0c0a074c311dbbee902004c4f4f50,
title = "Logiweb",
abstract = "Logic, Proof Checker, Litterate Programming",
author = "Klaus Grue",
year = "2004",
language = "English",
pages = "70--101",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "93",
}
RIS
TY - JOUR
T1 - Logiweb
AU - Grue, Klaus
PY - 2004
Y1 - 2004
N2 - Logic, Proof Checker, Litterate Programming
AB - Logic, Proof Checker, Litterate Programming
M3 - Journal article
SP - 70
EP - 101
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
IS - 93
ER -
ID: 99820