Work

The complexity of the temporal logic with “until” over general linear time

Year: 2003

Type: article

Source: Journal of Computer and System Sciences

DOI: 10.1016/s0022-0000(03)00005-9

Author: M. Reynolds

Institution: Murdoch University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Engineering and Physical Sciences Research Council

OpenAlex ID: W2036472753

FWCI: 4.163

Cites: 42

Cited by: 53

Related to: 10