An Embedding of Prolog into Isabelle

J.U. Herrmann, Chi-Ping Tsang

Research output: Chapter in Book/Conference paperConference paper

Original languageEnglish
Title of host publicationProceedings of 1994 Western Australian Computer Science Symposium
Place of PublicationPerth, Western Australia
PublisherThe University of Western Australia
Pages161-169
Volume1
Publication statusPublished - 1994
EventAn Embedding of Prolog into Isabelle -
Duration: 1 Jan 1994 → …

Conference

ConferenceAn Embedding of Prolog into Isabelle
Period1/01/94 → …

Cite this