384 citations
- University of ManchesterGB12 papers
- Lancashire Teaching Hospitals NHS Foundation TrustGB9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Brunel University of LondonGB5 papers
- University of SheffieldGB5 papers
- Chinese Academy of SciencesCN4 papers
- King Abdullah University of Science and TechnologySA4 papers
- Nanjing University of Aeronautics and AstronauticsCN4 papers
- University of EdinburghGB4 papers
- Waikato District Health BoardNZ4 papers
- École Normale Supérieure - PSLFR3 papers
- European Organization for Nuclear ResearchCH3 papers
Showing 1999Show all
2 papers · 1 filter
cs.LO1999
Clausal Temporal Resolution
Michael Fisher, Clare Dixon, Martin Peim
In this article, we examine how clausal resolution can be applied to a specific, but widely used, non-classical logic, namely discrete linear temporal logic. Thus, we first define…
cs.CY1999
A Proposal for the Establishment of Review Boards - a flexible approach to the selection of academic knowledge
Bruce Edmonds
Paper journals use a small number of trusted academics to select information on behalf of all their readers. This inflexibility in the selection was justified due to the expense of…