Efficient first order functional program interpreter with time bound certifications

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • JY Marion
  • JY Moyen
Original languageEnglish
Title of host publicationLOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS
Volume1955
Publication date2000
Pages25-42
ISBN (Print)3-540-41285-9
DOIs
Publication statusPublished - 2000

ID: 148647948