Efficient first order functional program interpreter with time bound certifications

JY Marion, JY Moyen

25 Citationer (Scopus)

Originalsprog	Engelsk
Titel	LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
Vol/bind	1955
Publikationsdato	2000
Sider	25-42
ISBN (Trykt)	3-540-41285-9
DOI	https://doi.org/10.1007/3-540-44404-1_3
Status	Udgivet - 2000

Adgang til dokumentet

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

}