Original language | English |
---|---|
Title of host publication | KR |
Pages | 40-49 |
Number of pages | 10 |
Publication status | Published - 1991 |
Meta-Reasoning in Executable Temporal Logic
Howard Barringer, Michael Fisher, Dov M Gabbay, Anthony Hunter
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution