Efficient first order functional program interpreter with time bound certifications
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Standard
Efficient first order functional program interpreter with time bound certifications. / Marion, JY; Moyen, JY.
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Vol. 1955 2000. p. 25-42.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Marion, JY & Moyen, JY 2000, Efficient first order functional program interpreter with time bound certifications. in LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. vol. 1955, pp. 25-42. https://doi.org/10.1007/3-540-44404-1_3
APA
Marion, JY., & Moyen, JY. (2000). Efficient first order functional program interpreter with time bound certifications. In LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS (Vol. 1955, pp. 25-42) https://doi.org/10.1007/3-540-44404-1_3
Vancouver
Marion JY, Moyen JY. Efficient first order functional program interpreter with time bound certifications. In LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Vol. 1955. 2000. p. 25-42 https://doi.org/10.1007/3-540-44404-1_3
Author
Bibtex
@inbook{920ad415a84040e9a9847fed0f82c7f6,
title = "Efficient first order functional program interpreter with time bound certifications",
author = "JY Marion and JY Moyen",
year = "2000",
doi = "10.1007/3-540-44404-1_3",
language = "English",
isbn = "3-540-41285-9",
volume = "1955",
pages = "25--42",
booktitle = "LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS",
}
RIS
TY - CHAP
T1 - Efficient first order functional program interpreter with time bound certifications
AU - Marion, JY
AU - Moyen, JY
PY - 2000
Y1 - 2000
U2 - 10.1007/3-540-44404-1_3
DO - 10.1007/3-540-44404-1_3
M3 - Book chapter
SN - 3-540-41285-9
VL - 1955
SP - 25
EP - 42
BT - LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
ER -
ID: 148647948