Efficient first order functional program interpreter with time bound certifications

JY Marion, JY Moyen

25 Citations (Scopus)

Original language	English
Title of host publication	LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
Volume	1955
Publication date	2000
Pages	25-42
ISBN (Print)	3-540-41285-9
DOIs	https://doi.org/10.1007/3-540-44404-1_3
Publication status	Published - 2000

Access to Document

@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",

}